From Programs to Transistors: Verifying Hardware Synthesis Tools.
Geoffrey M. BrownMiriam LeeserPublished in: Hardware Specification, Verification and Synthesis (1989)
Keyphrases
- low cost
- computer systems
- circuit design
- free software
- functional programs
- control program
- hardware implementation
- computer programs
- real time
- computing systems
- user friendly
- software tools
- low power
- high level language
- automatic programming
- texture synthesis
- hardware designs
- high density
- end users
- neural network
- computing power
- integrated circuit
- heterogeneous systems
- program synthesis
- data entry
- operating system
- programming environments
- decision support
- information systems