{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:20:34Z","timestamp":1729660834441,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/sies.2010.5551379","type":"proceedings-article","created":{"date-parts":[[2010,8,24]],"date-time":"2010-08-24T11:38:07Z","timestamp":1282649887000},"page":"28-35","source":"Crossref","is-referenced-by-count":5,"title":["Verification of a CAN bus model in SystemC with functional coverage"],"prefix":"10.1109","author":[{"given":"Gilles B.","family":"Defo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Kuznik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/RSP.2005.5","article-title":"A C\/C++-based functional verification framework using the SystemC verification library","volume":"0","author":"park","year":"2005","journal-title":"Proc IEEE Intl Workshop Rapid System Prototyping"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1016568.1016592"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1284480.1284573"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529650"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2006.1708699"},{"key":"ref15","article-title":"A Technique for Adding Functional Coverage to SystemC","author":"schwartz","year":"2007","journal-title":"DVCon 2007"},{"journal-title":"CAN Specification Version 2 0","year":"1991","key":"ref4"},{"year":"2006","key":"ref3","article-title":"IEEE Standard SystemC language reference manual"},{"journal-title":"SystemC Verification Library v1 0p2 Open SystemC Initiative","year":"2006","key":"ref6"},{"journal-title":"Data Sheet","article-title":"SJA1000 stand-alone CAN controller","year":"2000","key":"ref5"},{"journal-title":"Open Verification Library (OVL)","year":"2009","key":"ref8"},{"key":"ref7","article-title":"Functional verification of a CAN data layer implementation: a case study","author":"antonio","year":"2003","journal-title":"Brazil Semiconductor Technology Center (BSTC)"},{"year":"2009","key":"ref2","article-title":"IEEE Standard for System Verilog-unified Hardware design, specification, and verification language"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"ref9","article-title":"Functional coverage prototype for SystemC-based verification of chipset designs","author":"siegmund","year":"2004","journal-title":"AMD Dresden Design Center"}],"event":{"name":"2010 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2010,7,7]]},"location":"Trento, Italy","end":{"date-parts":[[2010,7,9]]}},"container-title":["International Symposium on Industrial Embedded System (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5547587\/5551360\/05551379.pdf?arnumber=5551379","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T03:34:50Z","timestamp":1559446490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5551379\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sies.2010.5551379","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}