{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:25:26Z","timestamp":1749205526207,"version":"3.28.0"},"reference-count":9,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2002.1224424","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T10:56:02Z","timestamp":1065005762000},"page":"31-35","source":"Crossref","is-referenced-by-count":23,"title":["High level validation of next-generation microprocessors"],"prefix":"10.1109","author":[{"given":"B.","family":"Bentley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44798-9_18"},{"key":"ref3","article-title":"On the Effective Deployment of Functional Formal Verification","volume":"19","author":"vinov","year":"2001","journal-title":"Formal Methods in System Design"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1147\/rd.461.0053"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998245"},{"key":"ref8","article-title":"Pre-Silicon Validation of Hyper-Threading Technology","volume":"6","author":"bums","year":"2002","journal-title":"Intel Technology Journal"},{"key":"ref7","article-title":"Hyper-Threading Technology Architecture and Microarchitecture","volume":"6","author":"marr","year":"2002","journal-title":"Intel Technology Journal"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941434"},{"journal-title":"Proceedings of the 29th annual international symposium on Computer architecture","year":"2002","key":"ref9"},{"key":"ref1","article-title":"Bug Root Cause Analysis for Willamette","author":"zucker","year":"2000","journal-title":"Intel design and test technology conference"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","acronym":"HLDVT-02","location":"Cannes, France"},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224424.pdf?arnumber=1224424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:48:10Z","timestamp":1489416490000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1224424\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224424","relation":{},"subject":[]}}