{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:16Z","timestamp":1774801816257,"version":"3.50.1"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/memcod.2006.1695910","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T13:01:13Z","timestamp":1158930073000},"page":"93-102","source":"Crossref","is-referenced-by-count":15,"title":["Execution semantics and formalisms for multi-abstraction TLM assertions"],"prefix":"10.1109","author":[{"given":"W.","family":"Ecker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Esen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Hull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","year":"0"},{"key":"17","article-title":"Using assertion-based verification classes with systemc verification library","author":"peng","year":"2003","journal-title":"Synopsys Users Group Boston"},{"key":"18","author":"rose","year":"0","journal-title":"Transaction Level Modeling in Systemc"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.23"},{"key":"16","first-page":"232","article-title":"Assertion based verification of transaction level models","volume":"9","author":"niemann","year":"2006","journal-title":"ITG\/GI\/GMM Workshop"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232807"},{"key":"14","year":"0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2004.1347573"},{"key":"12","year":"0"},{"key":"3","author":"cerny","year":"0","journal-title":"Personal discussions yet"},{"key":"20","author":"weiss","year":"2005","journal-title":"Efficient and Customizable Integration of Temporal Properties into SystemC"},{"key":"2","author":"accellera","year":"0","journal-title":"SystemVerilog LRM"},{"key":"1","year":"0","journal-title":"Open Verification Library"},{"key":"10","article-title":"Assertion and model checking of systemc","author":"habibi","year":"2004","journal-title":"5th North American SystemC User Group Meeting"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"6","author":"edelman","year":"0","journal-title":"Debugging SoC Designs with Transactions"},{"key":"5","author":"colgan","year":"0","journal-title":"Advancing Transaction Level Modeling (TLM) Linking the OSCI and OCP-IP Worlds at Transaction Level"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-005-1193-5"},{"key":"9","first-page":"245","article-title":"Formal verification of ltl formulas for systemc designs","volume":"5","author":"gro\ufffde","year":"2003","journal-title":"International Symposium on Circuits and Systems"},{"key":"8","author":"foster","year":"0","journal-title":"IEEE 1850 PSL The Next Generation"}],"event":{"name":"Proceedings. Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06)","location":"Napa, CA","start":{"date-parts":[[2006,7,27]]},"end":{"date-parts":[[2006,7,30]]}},"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\/01695910.pdf?arnumber=1695910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T20:21:03Z","timestamp":1489609263000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1695910\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/memcod.2006.1695910","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}