White Papers 

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.
Robert Hatt 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.
Formality Hier-IQ

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.