[{"user_id":"5786","doi":"10.1109/SIES.2010.5551379","_id":"37057","language":[{"iso":"eng"}],"publisher":"IEEE","date_updated":"2023-01-17T11:35:03Z","title":"Verification of a CAN Bus Model in SystemC with Functional Coverage","status":"public","year":"2010","publication_identifier":{"eisbn":["978-1-4244-5841-7"]},"author":[{"first_name":"Gilles B.","last_name":"Defo","full_name":"Defo, Gilles B."},{"id":"16243","full_name":"Müller, Wolfgang","last_name":"Müller","first_name":"Wolfgang"},{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"}],"conference":{"location":" Trento, Italy","name":"International Symposium on Industrial Embedded System (SIES)"},"keyword":["Libraries","Generators","Transfer functions","Monitoring","Computational modeling","Driver circuits","Adaptation model"],"type":"conference","department":[{"_id":"672"}],"date_created":"2023-01-17T11:34:56Z","place":" Trento, Italy","abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of SIES 2010","citation":{"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>","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>.","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>.","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>","short":"G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE,  Trento, Italy, 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>.","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} }"}},{"author":[{"last_name":"Richter","first_name":"Björn","full_name":"Richter, Björn"},{"first_name":"Jens","last_name":"Twiefel","full_name":"Twiefel, Jens"},{"id":"210","full_name":"Hemsel, Tobias","last_name":"Hemsel","first_name":"Tobias"},{"full_name":"Wallaschek, Jörg","last_name":"Wallaschek","first_name":"Jörg"}],"year":"2006","status":"public","title":"Model based design of piezoelectric generators utilizing geometrical and material properties","date_updated":"2022-01-06T07:04:16Z","language":[{"iso":"eng"}],"_id":"9548","user_id":"55222","doi":"doi:10.1115/IMECE2006-14862","citation":{"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>.","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} }","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>","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.","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>","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>.","short":"B. Richter, J. Twiefel, T. Hemsel, J. Wallaschek, in: ASME 2006 International Mechanical Engineering Congress and Exposition, Chicago, Illinois, USA, 2006."},"publication":"ASME 2006 International Mechanical Engineering Congress and Exposition","quality_controlled":"1","abstract":[{"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.","lang":"eng"}],"date_created":"2019-04-29T09:37:45Z","place":"Chicago, Illinois, USA","department":[{"_id":"151"}],"keyword":["Materials properties","Design","Generators"],"type":"conference"}]