{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:35:58Z","timestamp":1773653758786,"version":"3.50.1"},"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":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Ferro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"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)"},{"key":"ref13","author":"eisner","year":"2006","journal-title":"A Practical Introduction to PSL"},{"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"},{"key":"ref16","article-title":"The Constructive Semantics of Pure Esterel","author":"berry","year":"0"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244079"},{"key":"ref18","year":"2005","journal-title":"IEEE Std 1800–2005 IEEE Standard for System Verilog Unified Hardware Design Specification and Verification Language"},{"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"},{"key":"ref6","year":"2005","journal-title":"IEEE Standard System C Language Reference Manual"},{"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"},{"key":"ref7","author":"gr\u00f6tker","year":"2002","journal-title":"System Design with SystemC"},{"key":"ref2","article-title":"A Next-Generation Design Framework for Platform-based Design","author":"davare","year":"2007","journal-title":"DVCon 2007"},{"key":"ref1","article-title":"Platform-Based Design for Embedded Systems","author":"carloni","year":"0"},{"key":"ref9","year":"2005","journal-title":"IEEE Standard for Property Specification Language (PSL)"},{"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"},{"key":"ref21","article-title":"Design verification using directives having local variables","author":"pidan","year":"2009"},{"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)","location":"Grenoble, France","start":{"date-parts":[[2010,7,26]]},"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]]}}}