|ECO Implementation and Verification Using Formality Ultra|
Formality Ultra is an extension to the Formality equivalence-checking solution. This article describes how Formality Ultra can be used to aid in the analysis, modification, and verification of a design that requires an ECO change. An example detailing the ECO flow using Formality Ultra is shown.
David Low, CAE, Synopsys
|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
|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.