---
_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'
...
---
_id: '9548'
abstract:
- lang: eng
  text: This paper presents a general model based on the electromechanical circuit
    theory. The model is set up as a mechanical equivalent model for base excited
    systems and describes the behaviour of a piezoelectric element around one resonance
    frequency which is sufficient for most practical applications. The model is extended
    to obtain the influence of geometrical and material properties. The derivated
    properties are used to describe the parameters of the general model which is easy
    to handle. Using this model either the calculation of the output power on a specific
    electric load or the determination of the design of the used piezoelectric element
    for a needed electric output power is possible. The paper focuses on the design
    of the ratio of length and width of a piezoelectric bimorph. The validity of the
    model is shown by the comparison of computed and experimental results.
author:
- first_name: Björn
  full_name: Richter, Björn
  last_name: Richter
- first_name: Jens
  full_name: Twiefel, Jens
  last_name: Twiefel
- first_name: Tobias
  full_name: Hemsel, Tobias
  id: '210'
  last_name: Hemsel
- first_name: Jörg
  full_name: Wallaschek, Jörg
  last_name: Wallaschek
citation:
  ama: 'Richter B, Twiefel J, Hemsel T, Wallaschek J. Model based design of piezoelectric
    generators utilizing geometrical and material properties. In: <i>ASME 2006 International
    Mechanical Engineering Congress and Exposition</i>. Chicago, Illinois, USA; 2006.
    doi:<a href="https://doi.org/doi:10.1115/IMECE2006-14862">doi:10.1115/IMECE2006-14862</a>'
  apa: Richter, B., Twiefel, J., Hemsel, T., &#38; Wallaschek, J. (2006). Model based
    design of piezoelectric generators utilizing geometrical and material properties.
    In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>.
    Chicago, Illinois, USA. <a href="https://doi.org/doi:10.1115/IMECE2006-14862">https://doi.org/doi:10.1115/IMECE2006-14862</a>
  bibtex: '@inproceedings{Richter_Twiefel_Hemsel_Wallaschek_2006, place={Chicago,
    Illinois, USA}, title={Model based design of piezoelectric generators utilizing
    geometrical and material properties}, DOI={<a href="https://doi.org/doi:10.1115/IMECE2006-14862">doi:10.1115/IMECE2006-14862</a>},
    booktitle={ASME 2006 International Mechanical Engineering Congress and Exposition},
    author={Richter, Björn and Twiefel, Jens and Hemsel, Tobias and Wallaschek, Jörg},
    year={2006} }'
  chicago: Richter, Björn, Jens Twiefel, Tobias Hemsel, and Jörg Wallaschek. “Model
    Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.”
    In <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>.
    Chicago, Illinois, USA, 2006. <a href="https://doi.org/doi:10.1115/IMECE2006-14862">https://doi.org/doi:10.1115/IMECE2006-14862</a>.
  ieee: B. Richter, J. Twiefel, T. Hemsel, and J. Wallaschek, “Model based design
    of piezoelectric generators utilizing geometrical and material properties,” in
    <i>ASME 2006 International Mechanical Engineering Congress and Exposition</i>,
    2006.
  mla: Richter, Björn, et al. “Model Based Design of Piezoelectric Generators Utilizing
    Geometrical and Material Properties.” <i>ASME 2006 International Mechanical Engineering
    Congress and Exposition</i>, 2006, doi:<a href="https://doi.org/doi:10.1115/IMECE2006-14862">doi:10.1115/IMECE2006-14862</a>.
  short: 'B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International
    Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006.'
date_created: 2019-04-29T09:37:45Z
date_updated: 2022-01-06T07:04:16Z
department:
- _id: '151'
doi: doi:10.1115/IMECE2006-14862
keyword:
- Materials properties
- Design
- Generators
language:
- iso: eng
place: Chicago, Illinois, USA
publication: ASME 2006 International Mechanical Engineering Congress and Exposition
quality_controlled: '1'
status: public
title: Model based design of piezoelectric generators utilizing geometrical and material
  properties
type: conference
user_id: '55222'
year: '2006'
...