{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:37:35Z","timestamp":1725611855016},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/latw.2014.6841903","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T17:26:12Z","timestamp":1406568372000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["On the reuse of RTL assertions in SystemC TLM verification"],"prefix":"10.1109","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Valerio","family":"Guarnieri","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]},{"given":"Francesco","family":"Stefanni","sequence":"additional","affiliation":[]},{"given":"Tara","family":"Ghasempouri","sequence":"additional","affiliation":[]},{"given":"Michele","family":"Lora","sequence":"additional","affiliation":[]},{"given":"Giovanni","family":"Auditore","sequence":"additional","affiliation":[]},{"given":"Mirella Negro","family":"Marcigaglia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742077"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2005.04.001"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380830"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.48"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695910"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364406"},{"key":"14","first-page":"113","article-title":"Proving transaction and systemlevel properties of untimed SystemC TLM designs","author":"grosse","year":"2010","journal-title":"Proc of IEEE\/ACM MEMOCODE"},{"key":"11","first-page":"1","article-title":"ISIS: Runtime verification of TLM platforms","author":"ferro","year":"2009","journal-title":"Proc of FDL"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364404"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2008.4802505"},{"key":"20","first-page":"538","article-title":"FoCs: Automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Proc of CAV"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.208"},{"key":"23","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/1278480.1278529","article-title":"verification methodologies in a tlm-to-rtl design flow","author":"kasuya","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"journal-title":"Property specification language Reference manual","year":"2004","key":"24"},{"journal-title":"IEEE Standard SystemC Language Reference Manual","year":"2006","key":"25"},{"journal-title":"FoCs Property Checkers Generator","year":"0","key":"26"},{"journal-title":"Carbon Model Studio","year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.863187"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/944650.944651"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371236"},{"key":"6","first-page":"193","article-title":"Design for verification in systemlevel models and RTL","author":"mathur","year":"2007","journal-title":"Proc of IEEE\/ACM DAC"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.187"},{"year":"0","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2006.1708698"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1109118.1109121"}],"event":{"name":"2014 15th Latin American Test Workshop - LATW","start":{"date-parts":[[2014,3,12]]},"location":"Fortaleza, Brazil","end":{"date-parts":[[2014,3,15]]}},"container-title":["2014 15th Latin American Test Workshop - LATW"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6831761\/6841893\/06841903.pdf?arnumber=6841903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T13:27:04Z","timestamp":1498138024000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6841903\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/latw.2014.6841903","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}