Graph-Based Algorithms for Boolean Function Manipulation
IEEE Transactions on Computers
Efficient implementation of a BDD package
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Spectral transforms for large boolean functions with applications to technology mapping
DAC '93 Proceedings of the 30th international Design Automation Conference
Zero-suppressed BDDs for set manipulation in combinatorial problems
DAC '93 Proceedings of the 30th international Design Automation Conference
Some remarks about spectral transform interpretation of MTBDDs and EVBDDs
ASP-DAC '95 Proceedings of the 1995 Asia and South Pacific Design Automation Conference
Spectral Techniques in Digital Logic
Spectral Techniques in Digital Logic
Linear sifting of decision diagrams
DAC '97 Proceedings of the 34th annual Design Automation Conference
Decision Diagram Method for Calculation of Pruned Walsh Transform
IEEE Transactions on Computers
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Proceedings of the 12th ACM Great Lakes symposium on VLSI
Adder and Comparator Synthesis with Exclusive-OR Transform of Inputs
VLSID '97 Proceedings of the Tenth International Conference on VLSI Design: VLSI in Multimedia Applications
Universal logic modules based on double-gate carbon nanotube transistors
Proceedings of the 48th Design Automation Conference
| Hi-index | 0.00 |