Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure

Authors: Christoph Kuznik, Universität Paderborn, DE; Wolfgang Mueller, Universität Paderborn, DE

Abstract:

Verific-MM is an approach to systematize and accelerate the coverage plan engineering as well as the verification environment’s (functional) metric code generation -- usually a time-consuming and error-prone task -- in particular by (i) improving automation via assisted model-based approaches, utilizing recent industry standards such as UCIS and (ii) a supporting methodology suitable for various target (functional coverage) languages (IEEE-1800 SystemVerilog, IEEE-1647 e, IEEE-1666 SystemC).

Publication Date: 2014/03/25

Location of Publication: Design, Automation and Test in Europe DATE, University Booth,Dresden, Germany

Keyword: Verification