Integrating Results And Coverage From Simulation And Formal

As chips have grown ceaselessly in size and complexity, the traditional verification method of simulation could not keep pace. The task of generating and running enough tests consumed enormous resources in terms of engineers, simulation licenses, and servers.For these reasons, verification engineers turned increasingly to formal. This article outlines how to combine and analyse results and coverage from simulation and formal.

Read More


Find out how T&VS Verification services help to meet the challenging requirements with respect to performance, flexibility and verify today’s complex designs effectively.

2018-11-02T06:34:58+00:002nd November, 2018|Blog, Thought Leadership|