---
_id: '37057'
abstract:
- lang: eng
  text: Many heterogeneous embedded systems, for example industrial automation and
    automotive applications, require hard-real time constraints to be exhaustively
    verified - which is a challenging task for the verification engineer. To cope
    with complexity, verification techniques working on different abstraction levels
    are best practice. SystemC is a versatile C++ based design and verification language,
    offering various mechanisms and constructs required for embedded systems modeling.
    Using the add-on SystemC Verification Library (SCV) elemental constrained-random
    stimuli techniques may be used for verification. However, SCV has several drawbacks
    such as lack of functional coverage. In this paper we present a functional coverage
    library that implements parts of the IEEE 1800-2005 SystemVerilog standard and
    allows capturing functional coverage throughout the design and verification process
    with SystemC. Moreover, we will demonstrate the usability of the approach with
    a case study working on a CAN bus model written in SystemC.
author:
- first_name: Gilles B.
  full_name: Defo, Gilles B.
  last_name: Defo
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
citation:
  ama: 'Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with
    Functional Coverage. In: <i>Proceedings of SIES 2010</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>'
  apa: Defo, G. B., Müller, W., &#38; Kuznik, C. (2010). Verification of a CAN Bus
    Model in SystemC with Functional Coverage. <i>Proceedings of SIES 2010</i>. International
    Symposium on Industrial Embedded System (SIES),  Trento, Italy. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>
  bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
    of a CAN Bus Model in SystemC with Functional Coverage}, DOI={<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>},
    booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B.
    and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }'
  chicago: 'Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification
    of a CAN Bus Model in SystemC with Functional Coverage.” In <i>Proceedings of
    SIES 2010</i>.  Trento, Italy: IEEE, 2010. <a href="https://doi.org/10.1109/SIES.2010.5551379">https://doi.org/10.1109/SIES.2010.5551379</a>.'
  ieee: 'G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in
    SystemC with Functional Coverage,” presented at the International Symposium on
    Industrial Embedded System (SIES),  Trento, Italy, 2010, doi: <a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.'
  mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
    Coverage.” <i>Proceedings of SIES 2010</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/SIES.2010.5551379">10.1109/SIES.2010.5551379</a>.
  short: 'G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento,
    Italy, 2010.'
conference:
  location: ' Trento, Italy'
  name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:34:56Z
date_updated: 2023-01-17T11:35:03Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551379
keyword:
- Libraries
- Generators
- Transfer functions
- Monitoring
- Computational modeling
- Driver circuits
- Adaptation model
language:
- iso: eng
place: ' Trento, Italy'
publication: Proceedings of SIES 2010
publication_identifier:
  eisbn:
  - 978-1-4244-5841-7
publisher: IEEE
status: public
title: Verification of a CAN Bus Model in SystemC with Functional Coverage
type: conference
user_id: '5786'
year: '2010'
...