{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:03:25Z","timestamp":1725617005384},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2006.1695911","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T17:01:13Z","timestamp":1158944473000},"page":"103-112","source":"Crossref","is-referenced-by-count":8,"title":["A methodology for abstracting RTL designs into TL descriptions"],"prefix":"10.1109","author":[{"given":"N.","family":"Bombieri","sequence":"first","affiliation":[]},{"given":"F.","family":"Fummi","sequence":"additional","affiliation":[]},{"given":"G.","family":"Pravadelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"ITC-99 Benchmarks","year":"1999","author":"di torino","key":"17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2649-7_1"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.61"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/225871.225880"},{"key":"14","article-title":"EFSM Manipulation to Increase High-Level ATPG Efficiency","author":"di guglielmo","year":"2006","journal-title":"Proc IEEE ISQED"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243899"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243898"},{"key":"3","article-title":"Advancing Transaction Level Modeling: Linking the OSCI and OCP-IP Worlds at Transaction Level","author":"colgan","year":"0","journal-title":"White Paper"},{"key":"2","first-page":"19","author":"cai","year":"2003","journal-title":"Transaction Level Modeling An Overview In IEEE CODES + ISSS"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210104"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2005.32"},{"journal-title":"A Tutorial Introduction on the New SystemC Verification Standard","year":"2003","author":"norris ip","key":"6"},{"article-title":"The Transaction-Based Verification Methodology","year":"0","author":"brahme","key":"5"},{"journal-title":"Transaction Level Modeling in Systemc","year":"2004","author":"rose","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2005.15"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2005.112"}],"event":{"name":"Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","acronym":"MEMCOD-06","location":"Napa, CA, USA"},"container-title":["Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11148\/35734\/01695911.pdf?arnumber=1695911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:46:35Z","timestamp":1489599995000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695911\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695911","relation":{},"subject":[]}}