Logic Verification Algorithms and Their Parallel Implementation.
Hi-Keung Tony MaSrinivas DevadasAlberto L. Sangiovanni-VincentelliRuey-Sing WeiPublished in: DAC (1987)
Keyphrases
- parallel implementation
- parallel implementations
- computational cost
- theoretical analysis
- orders of magnitude
- parallel computers
- real time
- knowledge base
- significant improvement
- general purpose
- optimization problems
- machine learning algorithms
- benchmark datasets
- graphics processing units
- signature verification
- parallel architecture