Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
A new model for computation of probabilistic testability in combinational circuits
Integration, the VLSI Journal
Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
A Method for Reducing the Search Space in Test Pattern Generation
Proceedings of the IEEE International Test Conference on Designing, Testing, and Diagnostics - Join Them
An efficient quadratic placement based on search space traversing technology
Integration, the VLSI Journal
Hi-index | 0.00 |