Translating system specifications to VHDL.
Sanjiv NarayanFrank VahidDaniel D. GajskiPublished in: EURO-DAC (1991)
Keyphrases
- delay insensitive
- specification language
- hardware implementation
- formal specification
- hardware design
- concurrent systems
- functional requirements
- circuit design
- written in natural language
- transition systems
- image processing
- field programmable gate array
- fpga implementation
- control flow
- real time
- integrated circuit
- case study
- information systems
- data mining
- databases