{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:52:41Z","timestamp":1754488361151},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603856"},{"type":"electronic","value":"9783540455165"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60385-9_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:24:29Z","timestamp":1330280669000},"page":"71-83","source":"Crossref","is-referenced-by-count":3,"title":["Formally embedding existing high level synthesis algorithms"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Eisenbiegler","sequence":"first","affiliation":[]},{"given":"Ramayya","family":"Kumar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"AHL. Lambda Reference Manual, 1989.","key":"5_CR1"},{"key":"5_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3966-7","volume-title":"High-Level VLSI Synthesis","author":"R. Camposano","year":"1991","unstructured":"R. Camposano and W. Wolf. High-Level VLSI Synthesis. Kluwer, Boston, 1991."},{"key":"5_CR3","volume-title":"Truth, Deduction, and Computation: Logic and Semantics for Computer Science","author":"R. E. Davis","year":"1989","unstructured":"R. E. Davis. Truth, Deduction, and Computation: Logic and Semantics for Computer Science. Computer Science Press, New York, 1 edition, 1989.","edition":"1 edition"},{"key":"5_CR4","first-page":"247","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"N. Day","year":"1992","unstructured":"Nancy Day. A comparison between statecharts and state transition assertions. In Luc Claesen and Michael Gordon, editors, Higher Order Logic Theorem Proving and Its Applications, pages 247\u2013262, Leuven, Belgium, November 1992. North-Holland."},{"unstructured":"M.P. Fourman and E.M. Mayger. Formally Based System Design \u2014 Interactive hardware scheduling. In G. Musgrave and U. Lauter, editors, International Conference on Very Large Scale Integration, pages 101\u2013112. Elsevier Science Publishers (North-Holland), 1990.","key":"5_CR5"},{"unstructured":"M.J.C. Gordon and T.F. Melham. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, 1993.","key":"5_CR6"},{"issue":"2\/3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/BF00121125","volume":"1","author":"A. Gupta","year":"1992","unstructured":"A. Gupta. Formal hardware verification. Formal Methods in System Design, 1(2\/3):151\u2013238, 1992.","journal-title":"Formal Methods in System Design"},{"key":"5_CR8","first-page":"532","volume-title":"Formal synthesis of digital systems","author":"F.K. Hanna","year":"1989","unstructured":"F.K. Hanna, M. Longley, and N. Daeche. Formal synthesis of digital systems. In IMEC-IFIP Workshop on Applied Formal Methods for Correct VLSI Design, pages 532\u2013548, Leuven,Belgium, 1989. Elsevier Science Publishers B.V."},{"unstructured":"S. D. Johnson. Synthesis of Digital Designs from Recursion Equations. MIT Press, 1984.","key":"5_CR9"},{"key":"5_CR10","first-page":"385","volume-title":"On the interplay of synthesis and verification","author":"S.D. Johnson","year":"1989","unstructured":"S.D. Johnson, R.M. Wehrmeister, and Bhaskar Bose. On the interplay of synthesis and verification. In IMEC-IFIP Workshop on Applied Formal Methods for Correct VLSI Design, pages 385\u2013404, Leuven,Belgium, 1989. Elsevier Science Publishers B.V."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1007\/3-540-58450-1_50","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"M. Larsson","year":"1994","unstructured":"M. Larsson. An engineering approach to formal system design. In Thomas F. Melham and Juanito Camilleri, editors, Higher Order Logic Theorem Proving and Its Applications, pages 300\u2013315, Valetta, Malta, September 1994. Springer."},{"key":"5_CR12","first-page":"227","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"P. Loewenstein","year":"1992","unstructured":"Paul Loewenstein. A formal theory of simulations between infinite automata. In Luc Claesen and Michael Gordon, editors, Higher Order Logic Theorem Proving and Its Applications, pages 227\u2013246, Leuven, Belgium, November 1992. North-Holland."},{"key":"5_CR13","first-page":"59","volume-title":"IFIP Transactions","author":"E.M. Mayger","year":"1991","unstructured":"E.M. Mayger and M.P. Fourman. Integration of formal methods with system design. In A. Halaas and P.B. Denyer, editors, International Conference on Very Large Scale Integration, pages 59\u201370, Edinburgh, Scotland, August 1991. IFIP Transactions, North-Holland."},{"doi-asserted-by":"crossref","unstructured":"T. Melham. Higher Order Logic and Hardware Verification. Cambridge University Press, 1993.","key":"5_CR14","DOI":"10.1017\/CBO9780511569845"},{"doi-asserted-by":"crossref","unstructured":"P. G. Paulin. Global Scheduling and Allocation Algorithms in the HAL System. In R. Camposano and W. Wolf, editors, High-Level VLSI Synthesis, pages 255\u2013281. Kluwer Academic Publishers, 1991.","key":"5_CR15","DOI":"10.1007\/978-1-4615-3966-7_11"},{"doi-asserted-by":"crossref","unstructured":"W. Rosenstiel and H. Kr\u00c4mer. Scheduling and Assignment in High Level Synthesis. In R. Camposano and W. Wolf, editors, High-Level VLSI Synthesis, pages 355\u2013382. Kluwer Academic Publishers, 1991.","key":"5_CR16","DOI":"10.1007\/978-1-4615-3966-7"},{"key":"5_CR17","first-page":"213","volume-title":"Higher Order Logic Theorem Proving and Its Applications","author":"K. Schneider","year":"1993","unstructured":"K. Schneider, R. Kumar, and Thomas Kropf. Alternative proof procedures for finite-state machines in higher-order logic. In Jeffrey J. Joyce and Carl-Johan H. Seger, editors, Higher Order Logic Theorem Proving and Its Applications, pages 213\u2013226, Vancouver, B.C., Canada, August 1993. Springer."}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60385-9_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:47Z","timestamp":1619573867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60385-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603856","9783540455165"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-60385-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}