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