{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:54:18Z","timestamp":1729616058552,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hldvt.2010.5496658","type":"proceedings-article","created":{"date-parts":[[2010,7,6]],"date-time":"2010-07-06T14:06:27Z","timestamp":1278425187000},"page":"67-74","source":"Crossref","is-referenced-by-count":10,"title":["Towards analyzing functional coverage in SystemC TLM property checking"],"prefix":"10.1109","author":[{"given":"Hoang M.","family":"Le","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1007\/3-540-48153-2_21","article-title":"Have I written enough properties - a method of comparison between specification and implementation","author":"katz","year":"1999","journal-title":"Correct Hardware Design and Verification Methods"},{"key":"ref11","article-title":"Complete formal verification of Tricore2 and other processors","author":"bormann","year":"2007","journal-title":"Design and Verification Conference (DVCON)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.1012"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FAMCAD.2007.32"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/TCAD.2008.925790","article-title":"Analyzing functional coverage in bounded model checking","volume":"27","author":"grobe","year":"2008","journal-title":"IEEE Trans on CAD"},{"year":"2005","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.26"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","article-title":"A tool for checking ANSI-C programs","author":"clarke","year":"2004","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref18","first-page":"174","article-title":"Boolector: An efficient SMT solver for bit-vectors and arrays","author":"brummayer","year":"2009","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"journal-title":"Transaction-Level Modeling With SystemC TLM Concepts and Applications for Embedded Systems","year":"2006","author":"ghenassia","key":"ref4"},{"year":"2005","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450166"},{"key":"ref5","first-page":"73","article-title":"LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level","author":"moy","year":"2006","journal-title":"Design Automation for Embedded Systems"},{"key":"ref8","article-title":"Proving transaction and system-level properties of untimed SystemC TLM designs","author":"grobe","year":"2010","journal-title":"ACM & IEEE Int'l Conf on Formal Methods and Models for Codesign"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185377"},{"year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"ref9","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"}],"event":{"name":"2010 IEEE International High Level Design Validation and Test Workshop (HLDVT 2010)","start":{"date-parts":[[2010,6,10]]},"location":"Anaheim, FL","end":{"date-parts":[[2010,6,12]]}},"container-title":["2010 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5488975\/5496643\/05496658.pdf?arnumber=5496658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T06:25:29Z","timestamp":1497853529000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5496658\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2010.5496658","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}