{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T15:45:54Z","timestamp":1780501554687,"version":"3.54.1"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763252","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T17:45:16Z","timestamp":1361295916000},"page":"1-6","source":"Crossref","is-referenced-by-count":41,"title":["A unified methodology for pre-silicon verification and post-silicon validation"],"prefix":"10.1109","author":[{"given":"A","family":"Adir","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S","family":"Copty","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S","family":"Landa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A","family":"Nahir","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G","family":"Shurek","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"A","family":"Ziv","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C","family":"Meissner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J","family":"Schumann","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","author":"piziali","year":"2004","journal-title":"Functional Verification Coverage Measurement and Analysis"},{"key":"ref11","article-title":"Reaching coverage closure in post-silicon validation","author":"adir","year":"2010","journal-title":"Proceedings of the 6th Haifa Verification Conference"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/43.898827"},{"key":"ref13","year":"0","journal-title":"Building a bridge from pre-silicon verification to post-silicon validation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"ref15","article-title":"Constraint-based random stimuli generation for hardware verification","author":"naveh","year":"2006","journal-title":"AAAI"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1147\/rd.494.0541"},{"key":"ref4","first-page":"91","article-title":"Automating post-silicon debugging and repair","author":"chang","year":"0","journal-title":"Proceedings of the 2007 international conference on Computer-aided design November 2007"},{"key":"ref3","first-page":"7","article-title":"A reconfigurable design-for-debug infrastructure for socs","author":"abramovici","year":"0","journal-title":"Proceedings of the 43rd Design Automation Conference July 2006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751878"},{"key":"ref5","first-page":"1","article-title":"Backspace: formal analysis for post-silicon debug","author":"depaula","year":"0","journal-title":"Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design November 2008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-38152-7"},{"key":"ref7","first-page":"415","article-title":"Runtime validation of memory ordering using constraint graph checking","author":"chen","year":"2008","journal-title":"HPCA"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/54.895008"},{"key":"ref1","author":"wile","year":"2005","journal-title":"Comprehensive Functional Verification The Complete Industry Cycle"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996578"}],"event":{"name":"2011 Design, Automation & Test in Europe","location":"Grenoble","start":{"date-parts":[[2011,3,14]]},"end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763252.pdf?arnumber=5763252","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T05:05:27Z","timestamp":1490072727000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763252\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763252","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}