Mechanical verification of adder circuits using powerlists (1995)

by D Kapur, M Subramaniam