Simulation dominates hardware functional verification today and likely will continue to dominate for the foreseeable future. Meanwhile formal verification, once thought to be a possible challenger for the title, has instead converged on a more effective role as a complement to simulation.

Formal excels at finding problems in shallow but very broad state graphs and avoids a good deal of the overhead in testbench setup, while simulation has the advantage over formal in deep sequential problems, mixed-level (AMS, SystemC) and asynchronous behaviour modeling. This article highlights why both add to a higher quality result, as long as you get the balance right. Read More

Find out how T&VS verification services help you to drive tight links between formal and simulation & ensure highest productivity & product quality.