HOME    TOOLS    VERIFICATION

Synopsys Formality White Papers

Verification of Low-Power Designs in Formality®

Equivalence checking of low-power and multi-voltage designs can be quite challenging. These designs require specification of the low-power behavior and structures necessary to create an operational design.

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

Business Email: