{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T00:17:38Z","timestamp":1755217058132,"version":"3.43.0"},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Formal Methods in System Design"],"published-print":{"date-parts":[[2000,1]]},"DOI":"10.1023\/a:1008773308108","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T11:37:32Z","timestamp":1040557052000},"page":"7-22","source":"Crossref","is-referenced-by-count":3,"title":["The Formal Design of 1M-gate ASICs"],"prefix":"10.1007","volume":"16","author":[{"given":"\u00c1sgeir \u00fe\u00f3r","family":"Eir\u00edksson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"243845_CR1","doi-asserted-by":"crossref","unstructured":"\u00c1 Th. Eiriksson and K.L. McMillan, \"Using formal verification\/analysis methods on the critical path in system design,\" in P. Wolper (Ed.), '95, Lecture Notes in Computer Science, Vol. 939, Springer Verlag, 1995, pp. 367\u2013380.","DOI":"10.1007\/3-540-60045-0_63"},{"key":"243845_CR2","doi-asserted-by":"crossref","unstructured":"\u00c1Th. Eir\u00edksson, \"Integrating formal verification methods with a conventional project design flow,\" in 33rd Design Automation Conference, Las Vegas NV, 1996, pp. 666\u2013671.","DOI":"10.1109\/DAC.1996.545658"},{"key":"243845_CR3","doi-asserted-by":"crossref","unstructured":"\u00c1Th. Eir\u00edksson, J. Keen, A. Silbey, S. Venkataramam, and M. Woodacre, \"Origin system design methodology and experience: 1M-gate ASICs and beyond,\" in Proceedings of the Compcon Conference, San Jose, 1997, pp. 157\u2013164.","DOI":"10.1109\/CMPCON.1997.584690"},{"key":"243845_CR4","doi-asserted-by":"crossref","unstructured":"J. Laudon and D. Lenoski, \"System overview of the origin 200\/2000 product line,\" in Proceedings of the Compcon Conference, San Jose, 1997, pp. 150\u2013156.","DOI":"10.1109\/CMPCON.1997.584688"},{"key":"243845_CR5","doi-asserted-by":"crossref","unstructured":"J. Laudon and D. Lenoski, \"The SGI origin: a ccNUMA highly scalable server,\" in Proceedings from the International Symposium on Computer Architecture (ISCA), Denver, Colorado, 1997, pp. 241\u2013251.","DOI":"10.1145\/264107.264206"},{"key":"243845_CR6","unstructured":"Silicon Graphics Incorporated, 2011 N. Shoreline Blvd., Mountain View, CA, \"Origin Technology,\" http:\/\/www.sgi.com\/origin\/technology.html"},{"key":"243845_CR7","first-page":"147","volume-title":"Formal Methods in System Design","author":"C.H. Seger","year":"1995","unstructured":"C.H. Seger and R.E. Bryant, \"Formal verification by symbolic evaluation of partially-ordered trajectories,\" Formal Methods in System Design, Vol. 6, Kluwer Academic Press, New York, 1995, pp. 147\u2013189."},{"key":"243845_CR8","doi-asserted-by":"crossref","unstructured":"K.L. McMillan, \"A compositional rule for hardware design refinement,\" in Orna Grumberg (Ed.), Computer-Aided Verification Conference: 9th International Conference, CAV'97, Haifa, Israel, June 1997, Lecture Notes in Computer Science, Vol. 1254, pp. 24\u201335.","DOI":"10.1007\/3-540-63166-6_6"},{"key":"243845_CR9","doi-asserted-by":"crossref","unstructured":"K.L. McMillan, \"Verification of an implementation of Tomasulo's algorithm by compositional model checking,\" in Alan J. Hu and Moshe Y. Vardi (Eds.), '98, Vancouver, Canada, July 1998, Lecture Notes in Computer Science, Vol. 1427, pp. 110\u2013121.","DOI":"10.1007\/BFb0028738"},{"key":"243845_CR10","doi-asserted-by":"crossref","unstructured":"\u00c1IP. Eir\u00edksson, \"The Formal Design of 1M-gate ASICs,\" in Ganesh Gopalakrishnan and Phillip Windley (Eds.), '98, Palo Alto, CA, USA, November 1998, Lecture Notes in Computer Science, Vol. 1522.","DOI":"10.1007\/3-540-49519-3_5"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008773308108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008773308108\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008773308108.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:21:37Z","timestamp":1754367697000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008773308108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,1]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2000,1]]}},"alternative-id":["243845"],"URL":"https:\/\/doi.org\/10.1023\/a:1008773308108","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2000,1]]}}}