{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T21:40:02Z","timestamp":1737063602692,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_23","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"360-363","source":"Crossref","is-referenced-by-count":0,"title":["Innovative Verification Techniques Used in the Implementation of a Third-Generation 1.1GHz 64b Microprocessor"],"prefix":"10.1007","author":[{"given":"Victor","family":"Melamed","sequence":"first","affiliation":[]},{"given":"Harry","family":"Stuimer","sequence":"additional","affiliation":[]},{"given":"David","family":"Wilkins","sequence":"additional","affiliation":[]},{"given":"Lawrence","family":"Chang","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Normoyle","sequence":"additional","affiliation":[]},{"given":"Sutikshan","family":"Bhutani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Heald R. et al \u201cA 3rd generation Sparc V9 64-b Microprocessor\u201d IEEE JSSC, pp. 1526\u20131538, Nov. 2000","DOI":"10.1109\/4.881196"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Lauterbach G. et al \u201cUltraSPARC-III: a 3rd generation 64b SPARC Microprocessor\u201d, ISSCC Digest of Technical Papers, pp 410\u2013411, Feb. 2000.","DOI":"10.1109\/ISSCC.2000.839837"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Heald R et al, \u201cImplementation of a 3rd Generation SPARC V9 64b Microprocessor\u201d, ISSCC Digest of Technical Papers, pp 412\u2013413, Feb. 2000","DOI":"10.1109\/ISSCC.2000.839838"},{"key":"23_CR4","unstructured":"Normoyle K. \u201cIntroducing the UltraSPARC(TM)-IIIi Microprocessor\u201d, Microprocessor Forum, Oct. 2001"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"George Konstadinidis et al, \u201cImplementation of a Third generation 1.1 64b Microprocessor\u201d, ISSCC 2002.","DOI":"10.1109\/ISSCC.2002.992249"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T20:59:46Z","timestamp":1737061186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}