Debugging Inconclusive Assertions

This article from Mentor Graphics describes the flow to debug inconclusive assertions and also some techniques to reduce formal complexity that may result in inconclusive assertions; including fixing incorrect initial state and incorrect constraints, removing complicated design logic by black boxing design module/instance or cutting design signals, and reducing assertion complexity.

Read More


Find out how T&VS have developed a unique process that enables companies to make continuous improvements to their design and verification environments.