Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Incremental techniques for the identification of statically sensitizable critical paths
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference
Hi-index | 0.00 |