Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Exact required time analysis via false path detection
DAC '97 Proceedings of the 34th annual Design Automation Conference
An Efficient Critical Path Tracing Algorithm for Designing HighPerformance Vlsi Systems
Journal of Electronic Testing: Theory and Applications
Symbolic model checking using SAT procedures instead of BDDs
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
Effective Path Selection for Delay Fault Testing of Sequential Circuits
Proceedings of the IEEE International Test Conference
VOSS - A Formal Hardware Verification System User''s Guide
VOSS - A Formal Hardware Verification System User''s Guide
Full chip false timing path identification: applications to the PowerPCTM microprocessors
Proceedings of the conference on Design, automation and test in Europe
False timing path identification using ATPG techniques and delay-based information
Proceedings of the 39th annual Design Automation Conference
| Hi-index | 0.00 |