{"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":1774801816743,"version":"3.50.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006,10]]},"DOI":"10.1109\/iccd.2006.4380830","type":"proceedings-article","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:54:59Z","timestamp":1194990899000},"page":"286-293","source":"Crossref","is-referenced-by-count":22,"title":["Requirements and Concepts for Transaction Level Assertions"],"prefix":"10.1109","author":[{"given":"Wolfgang","family":"Ecker","sequence":"first","affiliation":[]},{"given":"Volkan","family":"Esen","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Steininger","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Velten","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Hull","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Assertion and model checking of systemc","author":"habibi","year":"2004","journal-title":"5th North American SystemC User Group Meeting"},{"key":"ref11","first-page":"245","article-title":"Formal verification of ltl formulas for systemc designs","volume":"5","author":"gro?e","year":"2003","journal-title":"International Symposium on Circuits and Systems"},{"key":"ref12","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":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-005-1193-5"},{"key":"ref14","article-title":"Personal discussions yet to be published","author":"cerny","year":"0"},{"key":"ref15","article-title":"Transaction level modeling in systemc","author":"rose","year":"0"},{"key":"ref16","article-title":"Open Verification Library","year":"0"},{"key":"ref4","article-title":"Using assertion-based verification classes with systemc verification library","author":"peng","year":"2003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232807"},{"key":"ref6","first-page":"9","article-title":"Implementation of a systemc assertion library","author":"ecker","year":"2005","journal-title":"IP-Based SOC Design"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2004.1347573"},{"key":"ref8","article-title":"Efficient and customizable integration of temporal properties into systemc","author":"weiss","year":"2005"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2004.1431224"},{"key":"ref2","article-title":"SystemVerilog LRM P1800","year":"0"},{"key":"ref1","article-title":"IEEE 1850 PSL: The Next Generation","author":"foster","year":"0"},{"key":"ref9","article-title":"Transactional level verification and coverage metrics by means of symbolic simulation","author":"peranandam","year":"2004","journal-title":"ITG\/GI\/GMM Workshop"}],"event":{"name":"2006 International Conference on Computer Design","location":"San Jose, CA, USA","start":{"date-parts":[[2007,10,1]]},"end":{"date-parts":[[2007,10,4]]}},"container-title":["2006 International Conference on Computer Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4380776\/4380777\/04380830.pdf?arnumber=4380830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T18:46:01Z","timestamp":1489689961000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4380830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iccd.2006.4380830","relation":{},"ISSN":["1063-6404"],"issn-type":[{"value":"1063-6404","type":"print"}],"subject":[],"published":{"date-parts":[[2006,10]]}}}