$$v\mathcal{F}\mathcal{P}$$ : An environment for the multi-level specification, analysis, and synthesis of hardware algorithms
- 1 January 1985
- book chapter
- Published by Springer Nature
- p. 238-255
- https://doi.org/10.1007/3-540-15975-4_40
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A functional language for description and design of digital systemsPublished by Association for Computing Machinery (ACM) ,1985
- muFP, a language for VLSI designPublished by Association for Computing Machinery (ACM) ,1984
- Magic: A VLSI Layout SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984
- The "PI" (Placement And Interconnect) SystemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1982
- A design methodology and computer aids for digital VLSI systemsIEEE Transactions on Circuits and Systems, 1981
- The chip complexity of binary arithmeticPublished by Association for Computing Machinery (ACM) ,1980
- Bristle Blocks: A Silicon CompilerPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1979
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978