{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:08:02Z","timestamp":1761581282947,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/test.2014.7035308","type":"proceedings-article","created":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T17:21:10Z","timestamp":1423675270000},"page":"1-9","source":"Crossref","is-referenced-by-count":9,"title":["Software in a hardware view: New models for HW-dependent software in SoC verification and test"],"prefix":"10.1109","author":[{"given":"Carlos","family":"Villarraga","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Binghao","family":"Bao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rakesh","family":"Raman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Bartsch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Fehmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1:1","article-title":"Verification of non-mainline functions in today's processor chips","author":"koesters","year":"2014","journal-title":"Proceedings International Design Automation Conference (DAC) DAC'14"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TCAD.2008.2006092"},{"year":"0","journal-title":"Onespin Solutions GmbH Germany OneSpin 360MV","key":"ref12"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"pasareanu","year":"2009","journal-title":"Int J Softw Tools Technol Transf"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/1721695.1721702"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.2197\/ipsjtsldm.6.135"},{"key":"ref16","first-page":"119","article-title":"An equivalence checker for hardware-dependent software","author":"villarraga","year":"2013","journal-title":"ACM & IEEE Int'l Conf on Formal Methods and Models for Codesign"},{"key":"ref17","first-page":"56","article-title":"Using formal verfication for HW\/SW co-verification of an FPGA IP core","volume":"0","author":"wedler","year":"2012","journal-title":"Xcell Journal Xilinx Inc"},{"key":"ref4","first-page":"147","article-title":"Efficient SAT\/simulation-based model generation for low-level embedded software","author":"bartsch","year":"2014","journal-title":"17 GIIITG\/GMM Workshop Methoden und Beschrei-bungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/FDL.2014.7119359"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1145\/2408776.2408795"},{"key":"ref5","first-page":"193","article-title":"Symbolic model checking without BDDs","author":"biere","year":"1999","journal-title":"Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems TACAS '99"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TCAD.2013.2267454"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/s10766-005-0004-8"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/DATE.2008.4484776"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1007\/11513988_20","article-title":"Formal verification of backward compatibility of microcode","author":"arons","year":"2005","journal-title":"Proceedings of the 17th International Conference on Computer Aided Verification"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/FMCAD.2013.6679400"}],"event":{"name":"2014 IEEE International Test Conference (ITC)","start":{"date-parts":[[2014,10,20]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2014,10,23]]}},"container-title":["2014 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7024668\/7035243\/07035308.pdf?arnumber=7035308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:21:58Z","timestamp":1498180918000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7035308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/test.2014.7035308","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}