Synthesis of optimized hardware transactors from abstract communication specifications.
Dongwook LeeHyungman ParkAndreas GerstlauerPublished in: CODES+ISSS (2012)
Keyphrases
- low cost
- data acquisition
- communication systems
- high level
- state machines
- hardware implementation
- real time
- computer systems
- hardware and software
- embedded systems
- higher level
- low level
- information exchange
- massively parallel
- computing power
- operational semantics
- program synthesis
- information sharing
- communication networks
- functional requirements
- hardware design