Formal Verification of SoC Designs by Using the Unparalleled Capacity and Debug Capability of FormalPro

The FormalPro product allows designers to perform functional equivalency checking between two revisions of a design. Applicable throughout the design-flow, it enables early correction of errors, thereby reducing time-to-market.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: