{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T19:32:14Z","timestamp":1791228734464,"version":"4.1.0"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/tcad.2012.2188800","type":"journal-article","created":{"date-parts":[[2012,7,13]],"date-time":"2012-07-13T11:57:53Z","timestamp":1342180673000},"page":"1249-1262","source":"Crossref","is-referenced-by-count":26,"title":["Automatic TLM Fault Localization for SystemC"],"prefix":"10.1109","volume":"31","author":[{"given":"Hoang M.","family":"Le","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Grosse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.26"},{"key":"ref32","year":"2005","journal-title":"Accellera Property Specification Language Reference Manual Version 1 1"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837333"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403472"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8586-4"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364404"},{"key":"ref11","first-page":"188","article-title":"Formal techniques for SystemC verification","author":"vardi","year":"2007","journal-title":"Proc DAC"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547687"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456991"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2010.5496658"},{"key":"ref16","first-page":"51","article-title":"Verifying SystemC: A software model checking approach","author":"cimatti","year":"2010","journal-title":"Proc FMCAD"},{"key":"ref17","article-title":"Proving transaction and system-level properties of SystemC TLM designs","author":"groe","year":"2012","journal-title":"Journal (the conference version appeared at MEMOCODE 2010)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.032"},{"key":"ref19","first-page":"168","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Proc TACAS"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.852031"},{"key":"ref4","year":"2005","journal-title":"IEEE Standard SystemC Language Reference Manual"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1754405.1754406"},{"key":"ref3","year":"2011","journal-title":"SystemC"},{"key":"ref6","year":"2003","journal-title":"SystemC Methodologies and Applications"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2008.923234"},{"key":"ref5","year":"2011","journal-title":"TLM-2 0 Language Reference Manual"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1721695.1721703"},{"key":"ref7","author":"ghenassia","year":"2006","journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"ref9","first-page":"894","article-title":"Interactive presentation: Implementation of a transaction level assertion framework in SystemC","author":"ecker","year":"2007","journal-title":"Proc DATE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2010.15"},{"key":"ref20","first-page":"140","article-title":"An integrated SystemC debugging environment","author":"rogin","year":"2007","journal-title":"Proc FDL"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SOCCON.2009.5398027"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319990"},{"key":"ref23","year":"2011","journal-title":"JEDA TLM-2 0 Compliance Checker"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391706"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2003695.2003697"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/43\/6238386\/06238395.pdf?arnumber=6238395","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:53:53Z","timestamp":1633910033000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6238395\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":34,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2012.2188800","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}