---
_id: '26705'
abstract:
- lang: eng
  text: "In the area of dynamic verification of virtual prototypes, functional coverage
    is a valuable tool for answering the \"Are we done?\" question and achieving verification
    closure. Recent verification methodologies such as OVM and UVM contain multi-language
    support that provides a basic SystemC version. However, due to language shortcoming
    they cannot be utilized for the same amount of verification tasks in the SystemC
    ecosystem as in other supported hardware design and verification languages. In
    this presentation, we propose to boost the verification capabilities of SystemC
    by implementing functional coverage collection and evaluation according to the
    same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group
    feature. We implement a functional coverage library to enable coverage-driven
    verification of SystemC designs on multiple levels of abstraction enabling value,
    transition, and expression coverage. To our knowledge, the overall functionalities
    are not available in the IEEE-1666 SystemC standard or the SCV add-on library,
    nor are they complete compared to the aforementioned in any publicly available
    SystemC library.\r\n"
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. Verification Closure of SystemC Designs with Functional
    Coverage. <i>North American SystemC User Group Meeting (16th)</i>. Published online
    2011.
  apa: Kuznik, C., &#38; Müller, W. (2011). Verification Closure of SystemC Designs
    with Functional Coverage. <i>North American SystemC User Group Meeting (16th)</i>.
    Jun. 2011 - 16th North American User Group Meeting (NASCUG).
  bibtex: '@article{Kuznik_Müller_2011, title={Verification Closure of SystemC Designs
    with Functional Coverage}, journal={North American SystemC User Group Meeting
    (16th)}, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }'
  chicago: Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC
    Designs with Functional Coverage.” <i>North American SystemC User Group Meeting
    (16th)</i>, 2011.
  ieee: C. Kuznik and W. Müller, “Verification Closure of SystemC Designs with Functional
    Coverage,” <i>North American SystemC User Group Meeting (16th)</i>, 2011.
  mla: Kuznik, Christoph, and Wolfgang Müller. “Verification Closure of SystemC Designs
    with Functional Coverage.” <i>North American SystemC User Group Meeting (16th)</i>,
    2011.
  short: C. Kuznik, W. Müller, North American SystemC User Group Meeting (16th) (2011).
conference:
  name: Jun. 2011 - 16th North American User Group Meeting (NASCUG)
date_created: 2021-10-21T12:37:44Z
date_updated: 2022-01-06T06:57:26Z
department:
- _id: '672'
language:
- iso: eng
publication: North American SystemC User Group Meeting (16th)
status: public
title: Verification Closure of SystemC Designs with Functional Coverage
type: journal_article
user_id: '21240'
year: '2011'
...