{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T04:26:21Z","timestamp":1725769581544},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sasp.2011.5941073","type":"proceedings-article","created":{"date-parts":[[2011,7,8]],"date-time":"2011-07-08T17:47:26Z","timestamp":1310147246000},"page":"22-29","source":"Crossref","is-referenced-by-count":1,"title":["Integrating formal verification and high-level processor pipeline synthesis"],"prefix":"10.1109","author":[{"given":"Eriko","family":"Nurvitadhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James C.","family":"Hoe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Kam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shih-Lien L.","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2007.4336202"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/500001.500053","article-title":"high-level automatic pipelining for sequential circuits","author":"marinescu","year":"2001","journal-title":"International Symposium on System Synthesis (IEEE Cat No 01EX526) ISSS-01"},{"journal-title":"Getting Started with SMV","year":"2001","author":"mcmillan","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2088950"},{"key":"ref14","article-title":"Trace Table Based Approach for Pipelined Microprocessor Verification","author":"sawada","year":"1997","journal-title":"Computer Aided Verification"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269223"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2041846"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.21"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/288548.289082"},{"journal-title":"Model checking","year":"2000","author":"clarke","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-44585-4_40","article-title":"Microarchitecture Verification by Compositional Model Checking","author":"jhala","year":"2001","journal-title":"Computer Aided Verification"},{"key":"ref7","article-title":"Verifying advanced microarchitectures that support speculation and exceptions","author":"hosabettu","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref2","article-title":"Automated verification of pipelined microprocessor control","author":"burch","year":"1994","journal-title":"Computer Aided Verification"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/996566.996578"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36126-X_9","article-title":"Modeling and Verification of Out-of-Order Microprocessors in UCLID","author":"lahiri","year":"2002","journal-title":"Formal Methods in Computer Aided Design"}],"event":{"name":"2011 IEEE 9th Symposium on Application Specific Processors (SASP)","start":{"date-parts":[[2011,6,5]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2011,6,6]]}},"container-title":["2011 IEEE 9th Symposium on Application Specific Processors (SASP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5934629\/5941068\/05941073.pdf?arnumber=5941073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T23:00:12Z","timestamp":1497913212000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5941073\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/sasp.2011.5941073","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}