Tips & Tricks

Filter by:
The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever)

July 11, 2019

In EDA, the word “simulation” is used everywhere: there is RTL and gate level simulation, analog simulation, RF simulation, and…

By Joe Hupcey III
5 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 5 – Memory Abstraction

How to Reduce the Complexity of Formal Analysis – Part 5 – Memory Abstraction

October 23, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III
4 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 4 – Counter Abstraction

How to Reduce the Complexity of Formal Analysis – Part 4 – Counter Abstraction

September 28, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III
4 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 3 – Assertion Decomposition

How to Reduce the Complexity of Formal Analysis – Part 3 – Assertion Decomposition

September 11, 2018

In Part 2 of this series, we showed how reducing the complexity of you assumptions (a/k/a constraints) can really help…

By Joe Hupcey III
5 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 2 – Reducing the Complexity of Your Assumptions

How to Reduce the Complexity of Formal Analysis – Part 2 – Reducing the Complexity of Your Assumptions

August 22, 2018

When using formal property checking, users often encounter “inconclusive” results; meaning the combined complexity of the design, assertions, and assumptions…

By Joe Hupcey III
3 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 1 – Finding Where Formal Got Stuck and Some Initial Corrective Steps to Take

How to Reduce the Complexity of Formal Analysis – Part 1 – Finding Where Formal Got Stuck and Some Initial Corrective Steps to Take

August 8, 2018

When using formal property checking, users often encounter “inconclusive” results; which means that the combined complexity of the design, assertions,…

By Joe Hupcey III
2 MIN READ