{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T03:21:00Z","timestamp":1743045660819,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649489"},{"type":"electronic","value":"9783540680666"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055279","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T08:11:44Z","timestamp":1153987904000},"page":"451-455","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Reconfigurable hardware \u2014 A study in codesign"],"prefix":"10.1007","author":[{"given":"Samuel","family":"Holmstr\u00f6m","sequence":"first","affiliation":[]},{"given":"Kaisa","family":"Sere","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,27]]},"reference":[{"key":"53_CR1","unstructured":"M. Aubury, I. Page, G. Randall, J. Saul, R. Watts: Handel-C Language Reference Guide. Oxford University Computing Laboratory, August 28, 1996."},{"key":"53_CR2","unstructured":"R.J.R. Back, K. Sere: From Action Systems to Modular Systems. Software-Concepts and Tools (1996) 26\u201339. Springer-Verlag."},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"D. van den Bout, et al.: Anyboard \u2014 An FPGA-Based Reconfigurable System. IEEE Design & Test of Computers, Vol. 9, No. 3, 21\u201330.","DOI":"10.1109\/54.156155"},{"key":"53_CR4","unstructured":"Embedded Solutions. Handel-C Preliminary Product Information Sheet. http:\/\/www.embedded-solutions.ltd.uk\/ProdApp\/handelc.htm, (ref. 15.8.97)"},{"key":"53_CR5","unstructured":"M. D. Ercegovac, T. Lang & J. H. Moreno: Introduction to Digital Systems. Academic Publishing Service, 1996 (draft 6\/96)"},{"key":"53_CR6","unstructured":"C.A.R. Hoare, I. Page: Hardware and Software \u2014 The Closing Gap. Proceedings of the 5th Nordic Workshop on Program Correctness (1994) 1\u201323"},{"key":"53_CR7","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C.A.R. Hoare","year":"1972","unstructured":"C.A.R. Hoare: Proof of Correctness of Data Representations. Acta Informatica (1972) 1:271\u2013281","journal-title":"Acta Informatica"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"S. Holmstr\u00f6m, K. Sere: Reconfigurable Hardware \u2014 A Case Study in Codesign. Turku Centre for Computer Science. TUCS Technical Report No. 175, 1998.","DOI":"10.1007\/BFb0055279"},{"key":"53_CR9","unstructured":"A. E. Lawrence: HARP (TRAMple) Manual Volume 1, User Manual for HARP1 and HARP2. Version 0.1 (draft). Oxford University, 18.12.1996."},{"key":"53_CR10","doi-asserted-by":"crossref","unstructured":"M. B. Srivastava & R. W. Brodersen. Using VHDL for High-Level, Mixed-Mode System Simulation. IEEE Design & Test of Computers, Vol. 9, No. 3, 31\u201340.","DOI":"10.1109\/54.156156"}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications From FPGAs to Computing Paradigm"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,7]],"date-time":"2022-07-07T12:35:57Z","timestamp":1657197357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0055279"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649489","9783540680666"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0055279","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"27 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}