Using BDDs to verify multipliers (1991)

by J R Burch
Venue:Proceedings of the 28th ACM/IEEE Design Automation Conference