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
