Login / Signup
An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow.
Dominique Borrione
Menouer Boubekeur
Emil Dumitrescu
Marc Renaudin
Jean-Baptiste Rigaud
Antoine Siriani
Published in:
HICSS (2003)
Keyphrases
</>
circuit design
design automation
flow patterns
flow field
digital circuits
data sets
genetic algorithm
artificial neural networks
formal model
formal specification
real time
neural network
image sequences
mathematical theory
state machines
delay insensitive