Login / Signup
Modeling CHP descriptions in Labeled Transitions Systems for an efficient formal validation of asynchronous circuit specifications.
Dominique Borrione
Menouer Boubekeur
Published in:
FDL (2003)
Keyphrases
</>
delay insensitive
reactive systems
asynchronous circuits
high level
high speed
complex systems
formal methods
expert systems
knowledge based systems
retrieval systems
intelligent systems
neural network
petri net
formal model
formal specification
logic programs
training set
state machines
information retrieval