{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:50:51Z","timestamp":1730281851442,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/memcod.2008.4547687","type":"proceedings-article","created":{"date-parts":[[2008,6,20]],"date-time":"2008-06-20T15:40:32Z","timestamp":1213976432000},"page":"59-68","source":"Crossref","is-referenced-by-count":15,"title":["A Comparison of Two SystemC\/TLM Semantics for Formal Verification"],"prefix":"10.1109","author":[{"given":"Claude","family":"Helmstetter","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Ponsini","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278527"},{"year":"0","key":"17"},{"year":"0","key":"18"},{"journal-title":"SystemC v2 1 Language Reference Manual (IEEE Std 1666-2005)","year":"2005","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_20"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9044-6"},{"key":"14","first-page":"285","article-title":"formalizing tlm with communicating state machines","author":"niemann","year":"2006","journal-title":"FDL"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"year":"0","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210105"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235323"},{"key":"1","article-title":"modelling systemc scheduler by refinement","author":"cansell","year":"2005","journal-title":"ISOLA"},{"year":"0","key":"10"},{"key":"7","first-page":"4167","article-title":"checksyc: an efficient property checker for rtl systemc designs","volume":"4","author":"gro?e","year":"2005","journal-title":"ISCAS"},{"journal-title":"Transaction-Level Modeling with System C TLM Concepts and Applications for Embedded Systems","year":"2005","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/0-306-47003-9_24"},{"key":"9","first-page":"100","article-title":"test coverage for loose timing annotations","author":"helmstetter","year":"2006","journal-title":"FMICS"},{"journal-title":"Validating Models of Systems-on-a-Chip in the Presence of Nondeterministic Schedulings and Loose Timings","year":"2007","author":"helmstetter","key":"8"}],"event":{"name":"2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE '08)","start":{"date-parts":[[2008,6,5]]},"location":"Anaheim, CA, USA","end":{"date-parts":[[2008,6,7]]}},"container-title":["2008 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4542603\/4547672\/04547687.pdf?arnumber=4547687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T23:03:47Z","timestamp":1489705427000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4547687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2008.4547687","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}