coverage driven test generation

A study in coverage-driven test generation
M Benjamin, D Geist, A Hartman… – Design Automation …,
Abstract One possible solution to the verification crisis is to bridge the gap between formal
verification and simulation by using hybrid techniques. This paper presents a study of such a
functional verification methodology that uses coverage of formal models to specify tests