{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:05:18Z","timestamp":1725458718846},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/ewdts.2016.7807687","type":"proceedings-article","created":{"date-parts":[[2017,1,9]],"date-time":"2017-01-09T16:42:59Z","timestamp":1483980179000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Testing logic circuits at different abstraction levels: An experimental evaluation"],"prefix":"10.1109","author":[{"given":"Sergey","family":"Smolov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lopez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Chupilko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Kamkin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2007.42"},{"key":"ref10","first-page":"24","article-title":"ABC: An Academic Industrial-Strength Verification Tool","author":"brayton","year":"0"},{"key":"ref6","first-page":"506","article-title":"HDL Programming Fundamentals: VHDL and Verilog","author":"botros","year":"2005","journal-title":"Charles River Media"},{"year":"0","key":"ref11"},{"key":"ref5","first-page":"197","article-title":"Berkeley logic interchange format (BLIF)","author":"berkeley","year":"1992","journal-title":"Oct tools distribution 2 1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2013.6673126"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.15514\/ISPRAS-2015-27(3)-12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.07.001"},{"year":"0","key":"ref9"},{"journal-title":"Technical Diagnosis Basics","year":"1976","author":"karibskiy","key":"ref1"}],"event":{"name":"2016 IEEE East-West Design & Test Symposium (EWDTS)","start":{"date-parts":[[2016,10,14]]},"location":"Yerevan, Armenia","end":{"date-parts":[[2016,10,17]]}},"container-title":["2016 IEEE East-West Design & Test Symposium (EWDTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7794989\/7807620\/07807687.pdf?arnumber=7807687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,13]],"date-time":"2017-12-13T15:51:51Z","timestamp":1513180311000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7807687\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/ewdts.2016.7807687","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}