Verification Horizons
How to Reduce the Complexity of Formal Analysis - Part 1 – Finding Where Formal Got Stuck and Some Initial Corrective Steps to Take
August 08, 2018
When using formal property checking, users often encounter “inconclusive” results; which means that the combined complexity of the design, assertions,...