Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
AUSCRYPT '90 Proceedings of the sixth MIT conference on Advanced research in VLSI
Testability properties of multilevel logic networks derived from binary decision diagrams
Proceedings of the 1991 University of California/Santa Cruz conference on Advanced research in VLSI
Synthesis and optimization procedures for robustly delay-fault testable combinational logic circuits
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Multilevel logic synthesis for arithmetic functions
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Hi-index | 0.00 |