Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.

Dumitru Potop-Butucaru Benoît Caillaud

Published in: ACSD (2005)

Keyphrases

asynchronous communication
delay insensitive
high level
efficient implementation
genetic algorithm
implementation details
modular architecture
learning algorithm
decision making
bayesian networks
hidden markov models
asynchronous circuits
state machines
highly modular