Skip to main content

UsingA aA FormalA PropertyA CheckerA forA SimulationA CoverageA Closure

Tim Blackmore, David Halliwell, Phil Barker, Kerstin Eder, Naresh Ramaram, UsingA aA FormalA PropertyA CheckerA forA SimulationA CoverageA Closure. Design Automation Conference. June 2010. No electronic version available. External information

Abstract

The paper presents a hands-on method that demonstrates how to use a formal property checker to analyse code coverage holes left by module-level simulation in order to achieve early code coverage closure. The core principle of the method is based on temporal induction. The method is fully automatic and generic in that it can be implemented with any state-of-the-art formal property checker.

Bibtex entry.

Contact details

Publication Admin