|A Safe Approach to Hierarchical UPF Verification in Formality|
The IEEE-1801 IEEE Standard for Design and Verification of LowPower Integrated Circuits (UPF) adds additional constraints on the design affecting synthesis and verification. Using Formality with the proper methodology, you can ensure that a hierarchical bottom verification flow will find design modifications which cause unwanted changes in behavior.
Bob Hatt, Formality CAE, Synopsys
|ECO Verification using Formality|
Formality includes an intuitive, flow-based user interface to streamline the verification process. The Formality guidance file, known as the automated setup file (SVF), sets the commands and variables in Formality to match the setup used by Design Compiler Ultra, eliminating manual, error prone scripts. In the case of a design undergoing ECO, the original guidance file might require modifications. This paper describes a process that helps automate the modification effort.
David Low, Formality CAE, Synopsys
|Debugging Non-equivalent Designs Using Formality|
It is important to have a basic understanding of how to investigate verification failures in order to get things back on track as quickly as possible. Using debugging tools becomes very important as chip design cycles shorten, and time to tape-out is just around the corner.
Erin Hatch, Formality CAE, Synopsys
|Verification of Low-Power Designs in Formality®|
Equivalence checking of low-power and multi-voltage designs can be quite challenging. These designs require specification of the low-power behavior and structures necessary to create an operational design.
Formality CAE Synopsys
|Techniques for Achieving Higher Completion in Formality®|
Formality is an equivalence-checking solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. Formality delivers superior completion on designs compiled with DC Ultra.
Erin Hatch Formality CAE, Synopsys
|Hier-IQ Fact Sheet|
Today’s complex SoC designs present many verification challenges for design teams. Historically, to ensure design integrity throughout the implementation process, engineers used a bottom-up, hierarchical equivalence checking methodology to reduce the size and complexity of the verification.
|Benefits of Using ESP in Memory Designs|
ESP is an equivalence checking tool commonly used for full functional verification of custom designs such as memories, custom macros, standard cell, and IO cell libraries. It is used to ensure that two design representations are functionally equivalent. Many people are familiar with the logic cone based equivalence checking which is very effective for synthesizable designs with gate-level implementations, but it cannot be easily adapted to full custom circuits like memories and custom macros.
Ken Hsieh, Product Marketing Manager, Synopsys, Inc.; Clay McDonald, R&D Manager, Synopsys, Inc.
|Compare Point Matching|
An important step in using combinational equivalence
checkers to verify sequential designs is identifying and
matching corresponding compare-points in the two
sequential designs to be verified.
Demos Anastasakis, Robert Damiano, Hi-Keung Tony Ma, Ted Stanion
|Formality Equivalence Checker|
This paper discusses the available methodologies for verifying arithmetic designs, the strengths and weaknesses of available approaches, and Formality's new methodology to greatly improve the coverage and performance of arithmetic verification.
Mark Patton, Formality Product Manager, Synopsys, Mitchell Mliner, R&D Group Director, Synopsys
|Formality Combinational Equivalence Checking for Retimed Designs|
Equivalency checking is an important and necessary step to verify the functional correctness of a design’s implementation. However, conducting retiming during design implementation often made functional verification impossible.
Mark Patton, Formality Product Manager, Synopsys, Mike Tarsi, Formality Engineering Manager
|Formality Error-ID Technology Defines Debug Productivity|
Have you ever experienced the "now what" anxiety that accompanies a failing equivalence checking verification? Have you found yourself staring at a logic cone with thousands of gates and no clear place to start the debug process?
Mark Patton, Product Manager
|Guidance Simplifies Equivalence Checking|
It can be very challenging to functionally verify a design that has undergone significant transformations during
implementation. This paper discusses the use of setup guidance to simplify the equivalence-checking (EC) process.
Marl Patton, Formality Product Manager, Synopsys, John Lehman, Formality Applications Engineering Manager, Synopsys.