{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T21:01:01Z","timestamp":1751662861051},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1109\/ipdps.2002.1016653","type":"proceedings-article","created":{"date-parts":[[2005,8,25]],"date-time":"2005-08-25T03:23:34Z","timestamp":1124940214000},"page":"9 pp","source":"Crossref","is-referenced-by-count":10,"title":["Overview of hydra: a concurrent language for synchronous digital circuit design"],"prefix":"10.1109","author":[{"given":"J.","family":"O'Donnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Haskell98: A nonstrict, purely functional language","author":"peyton jones","year":"1998","journal-title":"Technical Report"},{"journal-title":"Introduction to HOL A Theorem Proving Environment for Higher Order Logic","year":"1993","author":"gordon","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139170376"},{"journal-title":"Integrated Circuit Engineering Establishing a Foundation","year":"1996","author":"herbert","key":"ref13"},{"journal-title":"Synthesis of Digital Designs from Recursion Equations","year":"1984","author":"johnson","key":"ref14"},{"key":"ref15","article-title":"Designing arithmetic circuits by refinement in Ruby","author":"jones","year":"1992","journal-title":"Proc Second Int Conf on Mathematics of Program Construction"},{"key":"ref16","first-page":"13","article-title":"Circuit design in Ruby","author":"jones","year":"1990","journal-title":"Formal Methods for VLSI Design"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/54.936245"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICCL.1998.674160"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569845"},{"journal-title":"Introductory VHDL From Simulation to Synthesis","year":"2001","author":"yalamanchili","key":"ref28"},{"journal-title":"Embedded Languages for Describing and Verifying Hardware","year":"2001","author":"claessen","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002967"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3544-9_11"},{"key":"ref6","article-title":"A Tutorial on Lava: A Hardware Description and Verification System","author":"claessen","year":"2000","journal-title":"CHALMERS UNIVERSITY of TECHNOLOGY"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46674-6_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-22267-4"},{"key":"ref7","article-title":"Specifying superscalar microprocessors in Hawk","author":"cook","year":"1998","journal-title":"Proc Workshop on Formal Techniques for Hardware and Hardware-Like Systems"},{"key":"ref2","doi-asserted-by":"crossref","DOI":"10.1145\/41625.41641","article-title":"LUSTRE: A declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages (POPL)"},{"journal-title":"HAWK","year":"1998","author":"launchbury","key":"ref9"},{"key":"ref1","first-page":"43","article-title":"Hardware verification using higher-order logic","author":"camilleri","year":"1987","journal-title":"From HDL Descriptions to Guaranteed Correct Circuit Designs Proceedings of the IFIP WG 10 2 Working Conference Grenoble September 1986"},{"key":"ref20","first-page":"363","article-title":"Hardware description with recursion equations","author":"o'donnell","year":"1987","journal-title":"Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications"},{"key":"ref22","first-page":"178","article-title":"Generating netlists from executable circuit specifications in a pure functional language","author":"o'donnell","year":"1992","journal-title":"1992 Glasgow Workshop on Functional Programming"},{"key":"ref21","first-page":"309","article-title":"Hydra: hardware description in a functional language using recursion equations and high order combining forms","author":"o'donnell","year":"1988","journal-title":"The Fusion of Hardware Design and Verification"},{"key":"ref24","article-title":"Derivation of a carry lookahead addition circuit","author":"o'donnell","year":"2001","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60675-0_46"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3544-9_17"},{"journal-title":"VHDL","year":"1991","author":"perry","key":"ref25"}],"event":{"name":"Proceedings 16th International Parallel and Distributed Processing Symposium. IPDPS 2002","start":{"date-parts":[[2001,4,15]]},"location":"Ft. Lauderdale, FL","end":{"date-parts":[[2001,4,19]]}},"container-title":["Proceedings 16th International Parallel and Distributed Processing Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7926\/21854\/01016653.pdf?arnumber=1016653","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T22:55:08Z","timestamp":1497653708000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1016653\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2002.1016653","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}