A transformation for integrating VHDL behavioral specification with synthesis and software generation.
Frank VahidDaniel D. GajskiSanjiv NarayanPublished in: EURO-DAC (1994)
Keyphrases
- hardware design
- software systems
- formal methods
- software development
- program synthesis
- computer systems
- software package
- tool suite
- neural network
- control flow
- software maintenance
- hardware description language
- databases
- software design
- model based diagnosis
- software tools
- software architecture
- website
- hardware implementation
- texture synthesis
- embedded systems
- software components
- generation process
- specification language
- source code
- image processing
- information systems
- artificial intelligence