{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:38:41Z","timestamp":1725503921293},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/memcod.2010.5558642","type":"proceedings-article","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T14:37:22Z","timestamp":1282919842000},"page":"103-112","source":"Crossref","is-referenced-by-count":6,"title":["Enhancing the assertion-based verification of TLM designs with reentrancy"],"prefix":"10.1109","author":[{"given":"Laurence","family":"Pierre","sequence":"first","affiliation":[]},{"given":"Luca","family":"Ferro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456991"},{"key":"ref12","article-title":"ISIS: Runtime Verification of TLM Platforms","author":"ferro","year":"2009","journal-title":"Proc Forum on specification & Design Languages (FDL’09)"},{"journal-title":"A Practical Introduction to PSL","year":"2006","author":"eisner","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403540"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_24"},{"article-title":"The Constructive Semantics of Pure Esterel","year":"0","author":"berry","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244079"},{"journal-title":"IEEE Std 1800–2005 IEEE Standard for System Verilog Unified Hardware Design Specification and Verification Language","year":"2005","key":"ref18"},{"key":"ref19","article-title":"Synthesizing SVA Local Variables for Formal Verification","author":"long","year":"2007","journal-title":"Proc DAC’07"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-006-7194-1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.853709"},{"journal-title":"IEEE Standard System C Language Reference Manual","year":"2005","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1186\/1687-3963-2007-071043"},{"key":"ref8","article-title":"Transaction models offer new deal for EDA","author":"goering","year":"2006","journal-title":"EETimes"},{"journal-title":"System Design with SystemC","year":"2002","author":"gr\u00f6tker","key":"ref7"},{"key":"ref2","article-title":"A Next-Generation Design Framework for Platform-based Design","author":"davare","year":"2007","journal-title":"DVCon 2007"},{"article-title":"Platform-Based Design for Embedded Systems","year":"0","author":"carloni","key":"ref1"},{"journal-title":"IEEE Standard for Property Specification Language (PSL)","year":"2005","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.27"},{"key":"ref22","article-title":"Assertion-Based Verification of Transaction Level Models","author":"niemann","year":"2006","journal-title":"Proc ITG\/GI\/GMM Workshop"},{"article-title":"Design verification using directives having local variables","year":"2009","author":"pidan","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364406"},{"key":"ref23","article-title":"Extension of Assertion-Based Verification Approaches for the Verification of SystemC SoC Models","author":"lahbib","year":"2006","journal-title":"University of Monastir (Tunisia)"}],"event":{"name":"2010 8th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","start":{"date-parts":[[2010,7,26]]},"location":"Grenoble, France","end":{"date-parts":[[2010,7,28]]}},"container-title":["Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5550962\/5558619\/05558642.pdf?arnumber=5558642","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T19:13:55Z","timestamp":1489864435000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5558642\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/memcod.2010.5558642","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}