Synopsys, Inc. has released Formality vV-2023.12-SP3, the industry’s formal verification tool for equivalency checking of million-gate, system-on-a-chip (SOC) designs.
Formality is 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.
John Lehman, Director, Applications Engineering, articulates how users can enable aggressive optimizations in Synthesis but yet rapidly setup Equivalence Checking with minimal user intervention.
Synopsys, Inc. , headquartered in Mountain View, California, creates leading electronic design automation (EDA) tools for the global electronics market. The company delivers advanced design technologies and solutions to developers of complex integrated circuits, electronic systems and systems on a chip. Synopsys also provides consulting and support services to simplify the overall IC design process and accelerate time to market for its customers.
Owner: Synopsys
Product Name: Formality
Version: vV-2023.12-SP3
Supported Architectures: x86_64
Website Home Page : http://www.synopsys.com
Languages Supported: english
System Requirements: Linux *
Size: 1.2 Gb
Password/解压密码www.tbtos.com