{"status":"public","_id":"26715","citation":{"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} }","mla":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” Proceedings of DVCON , 2011.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Functional Coverage-Driven Verification with SystemC on Multiple Level of Abstraction.” In Proceedings of DVCON , 2011.","short":"C. Kuznik, W. Müller, in: Proceedings of DVCON , 2011.","apa":"Kuznik, C., & Müller, W. (2011). Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. Proceedings of DVCON .","ieee":"C. Kuznik and W. Müller, “Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction,” 2011.","ama":"Kuznik C, Müller W. Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction. In: Proceedings of DVCON . ; 2011."},"abstract":[{"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.","lang":"eng"}],"publication":"Proceedings of DVCON ","date_created":"2021-10-21T13:10:10Z","year":"2011","title":"Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction","date_updated":"2022-01-06T06:57:26Z","user_id":"21240","type":"conference","author":[{"first_name":"Christoph","last_name":"Kuznik","full_name":"Kuznik, Christoph"},{"first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243"}],"language":[{"iso":"eng"}],"department":[{"_id":"672"}]}