Direct synthesis of timed asynchronous circuits.

Sung Tae Jung Chris J. Myers

Published in: ICCAD (1999)

Keyphrases

asynchronous circuits
delay insensitive
model checking
process algebra
timed automata
petri net
program synthesis
artificial neural networks
databases
neural network
case study
image segmentation
multi agent
discrete event
functional programs