Formal Behavioural Synthesis of Handel-C Parallel Hardware Implementations from Functional Specifications.
Ali E. AbdallahJohn HawkinsPublished in: HICSS (2003)
Keyphrases
- formal specification
- parallel processing
- formal descriptions
- reactive systems
- operational semantics
- formal model
- parallel implementation
- data sets
- program synthesis
- parallel computation
- parallel computing
- learning algorithm
- functional requirements
- specification language
- texture synthesis
- formal language
- genetic algorithm
- functional analysis
- delay insensitive
- real time