{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:35:16Z","timestamp":1773246916107,"version":"3.50.1"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/hst.2016.7495569","type":"proceedings-article","created":{"date-parts":[[2016,6,25]],"date-time":"2016-06-25T07:39:11Z","timestamp":1466840351000},"page":"124-129","source":"Crossref","is-referenced-by-count":40,"title":["Scalable SoC trust verification using integrated theorem proving and model checking"],"prefix":"10.1109","author":[{"given":"Xiaolong","family":"Guo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raj Gautam","family":"Dutta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prabhat","family":"Mishra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yier","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2010.59"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744823"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_17"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263712"},{"key":"ref14","article-title":"The coq proof assistant","year":"2010"},{"key":"ref15","first-page":"1","article-title":"Formally verifying ieee compliance of floating-point hardware","volume":"3","author":"o\u2019leary","year":"1999","journal-title":"Intel Technology Journal"},{"key":"ref16","article-title":"Model checking and theorem proving: a unified framework","author":"berezin","year":"2002"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2004.07.002"},{"key":"ref18","article-title":"A Practical Introduction to PSL","author":"eisner","year":"2006","journal-title":"Series on Integrated Circuits and Systems"},{"key":"ref19","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2011.5954998"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516654"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2013.6581573"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2011.2160627"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2014.54"},{"key":"ref2","first-page":"51","article-title":"Hardware Trojan detection using path delay fingerprint","author":"jin","year":"2008","journal-title":"IEEE International Workshop on Hardware-Oriented Security and Trust"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HST.2010.5513114"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2747939"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691208"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)58003-2"},{"key":"ref23","article-title":"Gaisler Research. LEON3 synthesizable processor","year":"0"}],"event":{"name":"2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","location":"McLean, VA, USA","start":{"date-parts":[[2016,5,3]]},"end":{"date-parts":[[2016,5,5]]}},"container-title":["2016 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7489989\/7495545\/07495569.pdf?arnumber=7495569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T09:03:20Z","timestamp":1475139800000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7495569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hst.2016.7495569","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}