Logic verification algorithms and their parallel implementation.
Hi-Keung Tony MaSrinivas DevadasRuey-Sing WeiAlberto L. Sangiovanni-VincentelliPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1989)
Keyphrases
- parallel implementation
- parallel implementations
- theoretical analysis
- learning algorithm
- computationally efficient
- optimization problems
- significant improvement
- benchmark datasets
- computational cost
- times faster
- parallel computers
- data structure
- general purpose
- computer science
- model checking
- efficient implementation
- shared memory
- search algorithm
- classical logic