Synthesis of Reactive Systems: Application to Asynchronous Circuit Design.

Josep Carmona Jordi Cortadella Enric Pastor

Published in: Concurrency and Hardware Design (2002)

Keyphrases

circuit design
reactive systems
state machines
artificial intelligence
petri net
neural network
machine learning
multi agent systems
artificial neural networks
open source