Synopsys Design Flow
Synopsys Design Flow
Synopsys Design Flow
SHOW LESS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Formality Introduction<br />
Formality checks whether two designs are functionally equivalent or not<br />
Its purpose is to detect unexpected differences that may have been introduced into<br />
a design during development.<br />
<strong>Design</strong> level 1 <strong>Design</strong> level 2<br />
<strong>Design</strong> process<br />
© <strong>Synopsys</strong> 2012 113<br />
Formality<br />
Equivalent<br />
Yes/No ?
Change language