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

Dumitru Potop-Butucaru Benoît Caillaud

Published in: Fundam. Informaticae (2007)

Keyphrases

asynchronous communication
delay insensitive
real time
implementation details
data sets
asynchronous circuits
efficient implementation
search engine
multiscale
knowledge base
formal specification
information retrieval
machine learning
modular architecture
state machines
neural network
high level synthesis