{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,6]],"date-time":"2025-10-06T05:59:03Z","timestamp":1759730343043,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1109\/ewdts.2008.5580149","type":"proceedings-article","created":{"date-parts":[[2010,9,22]],"date-time":"2010-09-22T15:57:51Z","timestamp":1285171071000},"page":"214-217","source":"Crossref","is-referenced-by-count":7,"title":["RTL-TLM equivalence checking based on simulation"],"prefix":"10.1109","author":[{"given":"Nicola","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"Graziano","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ESDGroup – University of Verona","article-title":"TGEN: Transactor Generator","year":"2009","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484653"},{"year":"2007","key":"ref12","article-title":"OSCI TLM 2.0"},{"year":"0","key":"ref13"},{"key":"ref14","first-page":"396","article-title":"A mutation model for the SystemC TLM 2.0 communication interfaces","author":"bombieri","year":"2008","journal-title":"Proc of ACM\/IEEE DATE"},{"key":"ref15","first-page":"264","article-title":"Online minimization of transition systems","author":"lee","year":"1992","journal-title":"Proc ACM Symposium on Theory of Computing"},{"key":"ref16","article-title":"Transaction level modeling in SystemC","author":"rose","year":"0","journal-title":"White Paper"},{"key":"ref17","article-title":"LAERTE++: An object oriented high-level TPG for SystemC designs","author":"fin","year":"2003","journal-title":"Proc of ECSI FDL"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560201"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695911"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2005.15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695903"},{"key":"ref8","article-title":"A tutorial introduction on the new SystemC verification standard","author":"ip","year":"0","journal-title":"White Paper"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.48"},{"key":"ref2","article-title":"The transaction-based verification methodology","author":"brahme","year":"2000","journal-title":"Cadence Berkeley Labs Tech Rep CDNL-TR-2000-0825"},{"key":"ref1","first-page":"19","article-title":"Transaction level modeling: An overview","author":"cai","year":"2003","journal-title":"ACM\/IEEE CODES+ISSS"},{"key":"ref9","first-page":"1","article-title":"On the evaluation of transactor-based verification for reusing TLM assertions and test–benches at RTL","volume":"1","author":"bombieri","year":"2006","journal-title":"Proc of ACM\/IEEE DATE"}],"event":{"name":"Test Symposium (EWDTS)","start":{"date-parts":[[2008,10,9]]},"location":"Lviv, Ukraine","end":{"date-parts":[[2008,10,12]]}},"container-title":["Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5570120\/5580134\/05580149.pdf?arnumber=5580149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T17:23:03Z","timestamp":1489857783000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5580149\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2008.5580149","relation":{},"subject":[],"published":{"date-parts":[[2008,10]]}}}