03.04.2013 Views

Synopsys Design Flow

Synopsys Design Flow

Synopsys Design Flow

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Equivalence Checking Verification Process<br />

Equivalence checking is a four-phase<br />

process:<br />

• Reading and elaborating language<br />

descriptions into logical representations<br />

• Setting up prompt for verification<br />

• Mapping of corresponding compare points<br />

between pairs of designs (Matching)<br />

• Comparison of logic cones that drive the<br />

compare points (Verification)<br />

© <strong>Synopsys</strong> 2012 115

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!