Formal Analysis

How Can You Say That Formal Verification Is Exhaustive?

September 16, 2021

As a companion to my previous post on Learn Formal the Easy Way, allow me to explain what are often…

By Joe Hupcey III
2 MIN READ
U2U 2020 - Raytheon - CoverCheck

3 Notable Formal Verification Conference Papers of 2020

February 9, 2021

On the short list of positive things to come out of the past year are the formal verification-focused conference papers…

By Joe Hupcey III
4 MIN READ

AMC 20-152A: A practitioners perspective

December 8, 2020

A previous post discussed the high level impact of the new AMC 20-152A guidance on DO-254 programs. That post touched…

By Jake Wiltgen
4 MIN READ
How to Reduce the Complexity of Formal Analysis – Part 6 – Leveraging Data Independence and Non-Determinism

How to Reduce the Complexity of Formal Analysis – Part 6 – Leveraging Data Independence and Non-Determinism

November 1, 2018

If you know the dependencies – or lack thereof – in your design, you can exploit two very fundamental characteristics…

By Joe Hupcey III
3 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