Hardware synthesis from requirement specifications.
Konrad FeyerabendRainer SchlörPublished in: EURO-DAC (1996)
Keyphrases
- low cost
- real time
- hardware and software
- formal specification
- high level
- computer systems
- vlsi implementation
- specification language
- texture synthesis
- information systems
- wireless sensor networks
- program synthesis
- computing power
- hardware software
- hardware design
- circuit design
- processing capabilities
- field programmable gate array
- functional requirements
- computing systems
- data sets