Polynomial formal verification of multipliers (0)

by M Keim, M Martin, B Becker, R Drechsler, P Molitor
Venue:VLSI Test Symposium, 1997., 15th IEEE, 27 April-1 May 1997 Pp:150 – 155