{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:09:51Z","timestamp":1725484191837},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487922","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T13:52:28Z","timestamp":1122472348000},"page":"238-239","source":"Crossref","is-referenced-by-count":1,"title":["Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling"],"prefix":"10.1109","author":[{"given":"N.","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"A.","family":"Fedeli","sequence":"additional","affiliation":[]},{"given":"F.","family":"Fummi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","article-title":"Functional verification and the SoC challenge","author":"ziv","year":"2003","journal-title":"Proc of IEEE MPSOC"},{"journal-title":"Property specification language Reference manual","year":"2004","author":"accellera","key":"10"},{"key":"1","article-title":"Embedded software development issues and challenges","author":"krasner","year":"2003","journal-title":"Embedded Market Forecasters"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2005.32"},{"key":"6","article-title":"The transaction-based verification methodology","author":"brahme","year":"2000","journal-title":"Cadence Berkeley Labs Technical Report #CDNL-TR-2000-0825"},{"key":"5","article-title":"A tutorial introduction on the new systemC verification standard","author":"ip","year":"2003","journal-title":"Proc IEEE DATE"},{"key":"4","article-title":"Transaction level modeling in systemC","author":"rose","year":"2004","journal-title":"TLM Library White Paper"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210099"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1079\/9780851990231.0171"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.61"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487922.pdf?arnumber=1487922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T21:47:26Z","timestamp":1489528046000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487922\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487922","relation":{},"subject":[]}}