---
_id: '24309'
abstract:
- lang: eng
text: 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).
author:
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation
with UCIS for Improved Automation on Verification Closure. Design, Automation
and Test in Europe DATE, University Booth, Dresden. Published online 2014.'
apa: 'Kuznik, C., & Müller, W. (2014). Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.
Design, Automation and Test in Europe DATE, University Booth, Dresden.'
bibtex: '@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure},
journal={Design, Automation and Test in Europe DATE, University Booth, Dresden},
author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }'
chicago: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.”
Design, Automation and Test in Europe DATE, University Booth, Dresden,
2014.'
ieee: 'C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation
with UCIS for Improved Automation on Verification Closure,” Design, Automation
and Test in Europe DATE, University Booth, Dresden, 2014.'
mla: 'Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification
Metrics Generation with UCIS for Improved Automation on Verification Closure.”
Design, Automation and Test in Europe DATE, University Booth, Dresden,
2014.'
short: C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University
Booth, Dresden (2014).
conference:
start_date: 2014.03.25
date_created: 2021-09-14T07:06:56Z
date_updated: 2022-02-17T13:14:13Z
department:
- _id: '58'
language:
- iso: eng
publication: Design, Automation and Test in Europe DATE, University Booth, Dresden
related_material:
link:
- relation: confirmation
url: https://www.edacentrum.de/effektiv/content/verific-mm-systematized-verification-metrics-generation-ucis-improved-automation-verificatio
status: public
title: 'Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved
Automation on Verification Closure'
type: journal_article
user_id: '15931'
year: '2014'
...