In this article, we will use progressively more complex RTL device under test (DUT) code examples to illustrate the trouble that can occur when comparing the results from simulation and formal side-by ...

The second part of this article series will compare the results from simulation and formal side-by-side with progressively complex RTL DUT code examples. Mark Eslinger is a product engineer in the IC ...