Verification of arithmetic functions with binary mo- ment diagrams (1995)

by R E Bryant, Y-A Chen
Venue:in Proc. Design Automation Conference (DAC