HOME    TOOLS    VERIFICATION

Synopsys Formality White Papers

Formality® Equivalence Checker Provides Industry's Best Arithmetic Verification Coverage

This paper discusses the available methodologies for verifying arithmetic designs, the strengths and weaknesses of available approaches, and Formality's new methodology to greatly improve the coverage and performance of arithmetic verification.

Synopsys is pleased to make available to its customers and prospective customers a paper that discusses new technology focused on solving this challenge, free of charge.

Please enter your business email address then click 'continue >>'.

Business Email: