Verification of Arithmetic Functions with Binary Moment Diagrams (1995)

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