Synopsys Formality vV– 2023.12– SP3 Linux

Free Download Synopsys Formality vV-2023.12-SP3 Linux | 1.2 Gb
Synopsys, Inc.has releasedFormality vV-2023.12-SP3, the industry's formal verification tool for equivalency checking of million-gate, system-on-a-chip (SOC) designs.
Formalityis an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. Formality delivers capabilities for ECO assistance and advanced debugging to help guide the user in implementing and verifying ECOs. These capabilities significantly shorten the ECO implementation cycle. The size and complexity of today's designs, coupled with the challenges of meeting timing, area, power and schedule, requires that the newest, most advanced synthesis optimizations be fully verifiable. Formality supports all of the out-of- the-box Design Compiler and Fusion Compiler optimizations and so provides the highest quality of results that are fully verifiable. Formality supports verification of power-up and power-down states, multi-voltage, multi-supply and clock gated designs. Formality's easy-to-use, flow-based graphical user interface and auto-setup mode helps even new users successfully complete verification in the shortest possible time.