2022-06-07 - Mark Eslinger, Joe Hupcey III, and Nicolae Tusinschi
The pitfalls of mixing formal and simulation: Examples of the trouble
Three RTL DUT code examples illustrate the trouble that can occur when comparing the results from simulation and formal side-by-side.