Combinational equivalence checking using boolean satisfiability and binary decision diagrams (2001)

by S Reda, A Salem
Venue:in Conference and Exhibition on Design, Automation and Test in Europe. IEEE