{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:07:22Z","timestamp":1725469642806},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1109\/vlsi-soc.2012.6379025","type":"proceedings-article","created":{"date-parts":[[2012,12,18]],"date-time":"2012-12-18T16:55:47Z","timestamp":1355849747000},"page":"171-176","source":"Crossref","is-referenced-by-count":3,"title":["A scalable model based RTL framework zamiaCAD for static analysis"],"prefix":"10.1109","author":[{"given":"Anton","family":"Tsepurov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunter","family":"Bartsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Dorsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maksim","family":"Jenihhin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Tihhomirov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1147\/rd.404.0407"},{"journal-title":"Design Compiler","year":"2012","key":"22"},{"journal-title":"SimplifIDE","year":"2012","key":"17"},{"journal-title":"Veditor","year":"2012","author":"tadashi","key":"23"},{"journal-title":"Verdi Automated Debug System","year":"2012","key":"18"},{"journal-title":"Benefits of Verifics Parser Platform","year":"2010","key":"24"},{"journal-title":"Sigasi","year":"2012","key":"15"},{"journal-title":"Database System Concepts 3rd Edition","year":"1997","author":"silberschatz","key":"16"},{"key":"13","doi-asserted-by":"crossref","DOI":"10.21236\/ADA606736","author":"rudell","year":"1986","journal-title":"Multiple-valued Logic Minimization Far Pia Synthesis"},{"journal-title":"VHDL and AHDL Digital System Implementation","year":"1997","author":"scarpino","key":"14"},{"journal-title":"HDL Designer","year":"2012","key":"11"},{"journal-title":"ModelSim","year":"2012","key":"12"},{"journal-title":"Java Object Serialization Specification","year":"2001","key":"21"},{"journal-title":"IEEE Standard VHDL Language Reference Manual","year":"1993","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/16856.16888"},{"journal-title":"IEEE Standard for Verilog Hardware Description Language","year":"2006","key":"2"},{"year":"0","key":"1"},{"journal-title":"ITRS 2010 Update","year":"0","key":"10"},{"key":"7","first-page":"44","author":"como","year":"2000","journal-title":"RT-Level ITC 99 benchmarks and first ATPG Results"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.21236\/ADA363556","author":"clarke","year":"1999","journal-title":"Program Slicing of Hardware Description Languages"},{"key":"5","article-title":"Digital system design automation: Languages, simulation & data base","author":"breuer","year":"1975","journal-title":"Digital System Design Series"},{"journal-title":"LEON3 SPARC V8 Processor IP Core","year":"0","key":"4"},{"journal-title":"A VHDL Compiler","year":"2012","author":"gingold","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/320083.320092"}],"event":{"name":"2012 IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC)","start":{"date-parts":[[2012,10,7]]},"location":"Santa Cruz, CA, USA","end":{"date-parts":[[2012,10,10]]}},"container-title":["2012 IEEE\/IFIP 20th International Conference on VLSI and System-on-Chip (VLSI-SoC)"],"original-title":[],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T11:25:51Z","timestamp":1602674751000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6379025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc.2012.6379025","relation":{},"subject":[],"published":{"date-parts":[[2012,10]]}}}