{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T10:58:06Z","timestamp":1725447486617},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927237","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T20:34:41Z","timestamp":1494880481000},"page":"1552-1557","source":"Crossref","is-referenced-by-count":0,"title":["Static netlist verification for IBM high-frequency processors using a tree-grammar"],"prefix":"10.23919","author":[{"given":"Christoph","family":"Jaschke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulla","family":"Herter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudia","family":"Wolkober","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Zoellin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/54.765201"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref11"},{"key":"ref12","first-page":"96","article-title":"POWER8TM: A 12-core server-class processor in 22nm soi with 7.6tb\/s off-chip bandwidth","author":"fluhr","year":"0","journal-title":"Solid-State Circuits Conference Digest of Technical Papers (ISSCC) 2014 IEEE International"},{"key":"ref13","first-page":"9.3","article-title":"POWER7™ local clocking and clocked storage elements","author":"warnock","year":"0","journal-title":"IEEE Internation Solid-State Circuits Conference"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISSCC.2015.7062930"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1985.1270126"},{"journal-title":"The Definitive ANTLR Reference Building Domain-Specific Languages","year":"2007","author":"parr","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227788"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/3303"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1988.25715"},{"journal-title":"PCRE - Perl compatible regular expressions","year":"0","key":"ref4"},{"journal-title":"Mentor Graphics Questa clock-domain crossing (CDC) verification","year":"0","key":"ref3"},{"key":"ref6","first-page":"92","article-title":"An integrated memory self test and EDA solution","author":"adams","year":"0","journal-title":"12th IEEE InternationalWorkshop on Memory Technology Design and Testing (MTDT 2004)"},{"journal-title":"Synopsys Inc Next-generation CDC static checking","year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1997.639622"},{"journal-title":"Compilers Principles Techniques and Tools","year":"1986","author":"aho","key":"ref7"},{"journal-title":"Atrenta Inc Atrenta SpyGlass","year":"0","key":"ref2"},{"journal-title":"Atrenta Inc An automated approach to RTL memory BIST insertion and verification","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/74382.74457"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2177571"},{"key":"ref21","first-page":"741","article-title":"FROSTY: A fast hierarchy extractor for industrial CMOS circuits","author":"yang","year":"2003","journal-title":"ICCAD"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927237.pdf?arnumber=7927237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,5,31]],"date-time":"2017-05-31T04:26:29Z","timestamp":1496204789000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927237\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927237","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}