Login / Signup
A behavioral synthesis system for asynchronous circuits.
Mathew A. Sacker
Andrew D. Brown
Andrew J. Rushton
Peter R. Wilson
Published in:
IEEE Trans. Very Large Scale Integr. Syst. (2004)
Keyphrases
</>
asynchronous circuits
delay insensitive
process algebra
model checking
program synthesis
neural network
human behavior
real time
databases
machine learning
multiscale
behavioral model
functional programs
decision making
artificial neural networks
low cost