HOME    TOOLS    VERIFICATION

Synopsys Formality White Papers

Compare Point Matching

An important step in using combinational equivalence checkers to verify sequential designs is identifying and matching corresponding compare-points in the two sequential designs to be verified.

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

Business Email: