{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:51:12Z","timestamp":1725457872833},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,8]]},"DOI":"10.1109\/dsd.2007.4341464","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:45:59Z","timestamp":1191937559000},"page":"157-164","source":"Crossref","is-referenced-by-count":2,"title":["Functional Test-Case Generation by a Control Transaction Graph for TLM Verification"],"prefix":"10.1109","author":[{"given":"Mohammad","family":"Reza Kakoee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.H","family":"Neishaburi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siamak","family":"Mohammadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"The Improvement for Transaction Level Verification Functional Coverage","author":"wang","year":"2005","journal-title":"IEEE ISCAS"},{"key":"ref11","article-title":"A Tutorial Introduction on the New SystemC Verification Standard","author":"norris ip","year":"2003","journal-title":"White Paper"},{"key":"ref12","first-page":"306","article-title":"Enabling SystemC Verification using Abstract State Machines","author":"gawanmeh","year":"2004","journal-title":"Forum on Specification and Design Languages"},{"article-title":"SystemC Methodologies and Applications","year":"2003","author":"m'uller","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232853"},{"year":"1999","key":"ref15","article-title":"AMBA specification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244005"},{"key":"ref3","first-page":"164","article-title":"Structural Testing of Concurrent Programs","author":"taylor","year":"1986","journal-title":"Proc of Workshop on Software Testing"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243898"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2003.1210104"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/b137175"},{"key":"ref7","article-title":"Transaction level modeling of SoC with SystemC 2.0","author":"paricha","year":"2002","journal-title":"Synopsys User Group Conference"},{"key":"ref2","article-title":"Transaction Level Modeling: An Overview","author":"cai","year":"2003","journal-title":"Proc of CODES+ISSS"},{"year":"0","key":"ref1"},{"year":"0","key":"ref9"}],"event":{"name":"10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)","start":{"date-parts":[[2007,8,29]]},"location":"Lubeck, Germany","end":{"date-parts":[[2007,8,31]]}},"container-title":["10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341432\/4341433\/04341464.pdf?arnumber=4341464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T13:27:50Z","timestamp":1489670870000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341464\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,8]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/dsd.2007.4341464","relation":{},"subject":[],"published":{"date-parts":[[2007,8]]}}}