{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:16:28Z","timestamp":1725574588986},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223771"},{"type":"electronic","value":"9783540277767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27776-7_11","type":"book-chapter","created":{"date-parts":[[2011,1,10]],"date-time":"2011-01-10T17:33:28Z","timestamp":1294680808000},"page":"98-107","source":"Crossref","is-referenced-by-count":1,"title":["An Optimized Flow for Designing High-Speed, Large-Scale CMOS ASIC SoCs"],"prefix":"10.1007","author":[{"given":"Ulrich","family":"Heinkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claus","family":"Mayer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charles","family":"Webb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Sahm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner","family":"Haas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Gossens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","unstructured":"Smith, K.: A New Design Cost Model for the, ITRS, Proceedings of ISQED, IEEE 0-7695-1561-4\/02 (2001)"},{"key":"11_CR2","unstructured":"Moretti: System Level Design merits a closer look, EDN , Febuary 21 (2002), http:\/\/www.edamag.com"},{"key":"11_CR3","unstructured":"ITU-T G.709\/Y.1331: Interfaces for the optical transport network"},{"key":"11_CR4","unstructured":"ITU-T G.707\/Y.1322: Network node interface for the Synchronous Digital Hierarchy (SDH)"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Drechsler, H.: Gatecomp: Equivalence Checking of Digital Circuits in an Industrial Environment. In: International Workshop on Boolean Problems, Freiberg, pp. 195\u2013200 (2002)","DOI":"10.1524\/itit.2001.43.4.200"},{"key":"11_CR6","unstructured":"Haas, H., Gossens: Integration of Formal Specification into the Standard ASIC Design Flow. In: 7th IEEE\/IEICE International Symposium on High Assurance Systems Engineering, Tokio (2002)"},{"issue":"3","key":"11_CR7","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/234426.234431","volume":"5","author":"J. Heitmeyer","year":"1996","unstructured":"Heitmeyer, J., Labaw: Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology\u00a05(3), 231\u2013261 (1996)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"11_CR8","unstructured":"Mayer, S., Schuck, P.: VHDL Development System and Coding Standard. In: Design Automation Conference Las Vegas (1996)"},{"key":"11_CR9","unstructured":"Sahm, M., Pleickhardt, S.: OMI-326 VHDL Coding Standard. Omimo (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Systems: Architectures, Modeling, and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27776-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T04:22:33Z","timestamp":1637122953000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27776-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223771","9783540277767"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27776-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}