Teaching functional circuit specification in Hydra
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 195-214
- https://doi.org/10.1007/3-540-60675-0_46
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal hardware verification methods: A surveyFormal Methods in System Design, 1992
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- muFP, a language for VLSI designPublished by Association for Computing Machinery (ACM) ,1984
- Applicative programming and digital designPublished by Association for Computing Machinery (ACM) ,1984