{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T07:44:43Z","timestamp":1743493483294},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issoc.2004.1411185","type":"proceedings-article","created":{"date-parts":[[2005,3,31]],"date-time":"2005-03-31T13:26:51Z","timestamp":1112275611000},"page":"201-204","source":"Crossref","is-referenced-by-count":4,"title":["Design for verification of a PCT bus in systemC"],"prefix":"10.1109","author":[{"given":"K.","family":"Oumalou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Habibi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"An executable operational semantics for systemC using abstract state machines","author":"gawanmeh","year":"2004","journal-title":"Technical Report"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253815"},{"year":"2004","key":"10"},{"journal-title":"Accellera Property Specification Language Reference Manual Version 1 01","year":"2004","key":"1"},{"journal-title":"AsmL for Microsoft Net Framework (Version 2 1 5 7)","year":"2004","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"5","article-title":"Embedding of PSL in ASM with an application to systemC verification","author":"habibi","year":"2004","journal-title":"Technical Report"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/566171.566190"},{"journal-title":"Open SystemC Initiative","year":"2004","key":"9"},{"journal-title":"SystemC 2 0 1 Language Reference Manual","article-title":"Open systemC initiative","year":"2003","key":"8"},{"key":"11","first-page":"335","article-title":"Monitor-based formal specification of PCI","author":"shimizu","year":"2000","journal-title":"Proc Formal Methods in Computer-Aided Design"}],"event":{"name":"2004 International Symposium on System-on-Chip, 2004.","location":"Tampere, Finland"},"container-title":["2004 International Symposium on System-on-Chip, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9673\/30557\/01411185.pdf?arnumber=1411185","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T23:37:03Z","timestamp":1489534623000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1411185\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/issoc.2004.1411185","relation":{},"subject":[]}}