{"year":"2011","status":"public","author":[{"first_name":"Christoph","full_name":"Kuznik, Christoph","last_name":"Kuznik"},{"full_name":"Müller, Wolfgang","id":"16243","last_name":"Müller","first_name":"Wolfgang"}],"abstract":[{"lang":"eng","text":"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 a functional coverage facility supporting coverage collection on RTL and TLM models. In this article we present a functional coverage library which implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional coverage throughout the design and verification process, and allows to facilitate coverage-driven verification in SystemC."}],"department":[{"_id":"672"}],"title":"Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction","_id":"26715","date_created":"2021-10-21T13:10:10Z","citation":{"mla":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” <i>Proceedings of DVCON </i>, 2011.","ama":"Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: <i>Proceedings of DVCON </i>. ; 2011.","bibtex":"@inproceedings{Kuznik_Müller_2011, title={Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction}, booktitle={Proceedings of DVCON }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2011} }","ieee":"C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In <i>Proceedings of DVCON </i>, 2011.","short":"C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.","apa":"Kuznik, C., &#38; Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. <i>Proceedings of DVCON </i>."},"user_id":"21240","language":[{"iso":"eng"}],"publication":"Proceedings of DVCON ","date_updated":"2022-01-06T06:57:26Z","type":"conference"}