introduced Formality, the industry’s first formal verification tool for equivalency checking of million-gate, system-on-a-chip (SOC) designs. Conformal and Formality are both formal equivalence tools – they check that two circuit descriptions are functionally the same.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |