{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T08:23:55Z","timestamp":1648801435713},"reference-count":11,"publisher":"IBM","issue":"1.2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IBM J. Res. & Dev."],"published-print":{"date-parts":[[2012,1]]},"DOI":"10.1147\/jrd.2011.2178737","type":"journal-article","created":{"date-parts":[[2012,2,2]],"date-time":"2012-02-02T15:11:38Z","timestamp":1328195498000},"page":"13:1-13:16","source":"Crossref","is-referenced-by-count":1,"title":["Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy"],"prefix":"10.1147","volume":"56","author":[{"given":"C. A.","family":"Krygowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Almog","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. G.","family":"Bair","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Breil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Dittmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. J.","family":"Lewis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. D.","family":"Shah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B. W.","family":"Thompto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"3082","reference":[{"key":"ref4","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/978-3-540-30494-4_12","article-title":"Scalable automated verification via expert-system guided transformations","author":"mony","year":"2004","journal-title":"Proc Conf Formal Methods Comput -Aided Design"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2177106"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024913"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2009.5388578"},{"key":"ref11","first-page":"65","article-title":"Functional verification and challenges","volume":"37","author":"molina","year":"2007","journal-title":"Latin Amer Appl Res"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1147\/rd.483.0367"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2004.1277900"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1147\/JRD.2011.2173962"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"10:1","DOI":"10.1147\/JRD.2011.2117370","article-title":"Function verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems","volume":"55","author":"shubert","year":"2011","journal-title":"IBM J Res & Dev"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1147\/rd.494.0541"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.364.0713"}],"container-title":["IBM Journal of Research and Development"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5288520\/6136228\/06136238.pdf?arnumber=6136238","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T08:05:28Z","timestamp":1510646728000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6136238\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1]]},"references-count":11,"journal-issue":{"issue":"1.2"},"URL":"https:\/\/doi.org\/10.1147\/jrd.2011.2178737","relation":{},"ISSN":["0018-8646","0018-8646"],"issn-type":[{"value":"0018-8646","type":"print"},{"value":"0018-8646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1]]}}}