JR Burch - Proceedings of the 28th ACM/IEEE Design Automation …, 1991 - dl.acm.org
Abstract Bryant's Binary Decision Diagrams(BDDs)[6] have been successfully used for
verifying combinational circuits [12, 18]. However, multiplier circuits are difficult to verify …