Steven Jeffrey Friedman
Princeton Univ., Princeton, NJ
Using BDDs to verify multipliers
DAC '91 Proceedings of the 28th ACM/IEEE Design Automation Conference