Modular Verification of Multipliers

• Authors:

• Kavita Ravi;Abelardo Pardo;Gary D. Hachtel;Fabio Somenzi

• Affiliations:

• -;-;-;-

• Venue:
• FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
• Year:
• 1996