Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Revised report on the algorithmic language scheme
ACM SIGPLAN Notices
COSMOS: a compiled simulator for MOS circuits
DAC '87 Proceedings of the 24th ACM/IEEE Design Automation Conference
Current trends in hardware verification and automated theorem proving
Current trends in hardware verification and automated theorem proving
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Binary decision diagrams and applications for VLSI CAD
Binary decision diagrams and applications for VLSI CAD
DAC '98 Proceedings of the 35th annual Design Automation Conference
Verifying large-scale multiprocessors using an abstract verification environment
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
On Design Validation Using Verification Technology
Journal of Electronic Testing: Theory and Applications
A Survey of Hybrid Techniques for Functional Verification
IEEE Design & Test
| Hi-index | 0.00 |