{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T23:26:15Z","timestamp":1743463575487},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/date.2003.1186677","type":"proceedings-article","created":{"date-parts":[[2003,12,22]],"date-time":"2003-12-22T17:34:10Z","timestamp":1072114450000},"page":"88-94","source":"Crossref","is-referenced-by-count":3,"title":["Qualifying precision of abstract SystemC models using the SystemC Verification Standard"],"prefix":"10.1109","author":[{"given":"F.","family":"Carbognani","sequence":"first","affiliation":[]},{"given":"C.K.","family":"Lennard","sequence":"additional","affiliation":[]},{"given":"C.N.","family":"Ip","sequence":"additional","affiliation":[]},{"given":"A.","family":"Cochrane","sequence":"additional","affiliation":[]},{"given":"P.","family":"Bates","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","article-title":"The meta-methods: Managing design risk during ip selection and integration","author":"christopher","year":"1999","journal-title":"European IP 99 Conference-Edinburgh"},{"journal-title":"Early HW\/SW Integration Using SystemC v2 0","year":"2002","author":"connell","key":"2"},{"journal-title":"Using Transaction-Based Verification in SystemC","year":"2002","author":"norris","key":"1"},{"journal-title":"Approved by the SystemC Verification Working Group and the Steering Committee","year":"0","key":"7"},{"journal-title":"System Design with SystemC","year":"2002","author":"grotker","key":"6"},{"journal-title":"An Introduction to System Level Modeling in SystemC 2 0","year":"0","key":"5"},{"journal-title":"Towards Bridging the Precision Gap between SoC Transactional and Cycle-Accurate Levels Design Automation and Test in Europe Conference-Munich","year":"2002","author":"clouard","key":"4"},{"journal-title":"Simulation Coverage Enhancement Using Test Stimulus Transformation","year":"2000","author":"norris ip","key":"9"},{"journal-title":"A Tutorial Introduction on the New SystemC Verification Standard","year":"2002","author":"norris ip","key":"8"}],"event":{"name":"6th Design Automation and Test in Europe (DATE 03)","acronym":"DATE-03","location":"Munich, Germany"},"container-title":["2003 Design, Automation and Test in Europe Conference and Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8443\/26600\/01186677.pdf?arnumber=1186677","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:48:02Z","timestamp":1489456082000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1186677\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/date.2003.1186677","relation":{},"subject":[]}}