Cohesive Coverage Management for Simulation and Formal Property Verification

摘要

Relating formal verification coverage and simulation coverage is a challenge in pre-silicon validation. In this paper we propose the use of a test plan language as a formal basis for unifying the coverage goals for simulation and formal property verificat