Synthesis of Reo Circuits from Scenario-based Specifications.

Farhad Arbab Sun Meng Christel Baier

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

delay insensitive
logic synthesis
analog circuits
asynchronous circuits
program synthesis
artificial intelligence
high speed
digital circuits
low power
high level
formal specification
database
programming language
image sequences
website
search engine
vlsi circuits