Synthesis of Timed Asynchronous Circuits.

Chris J. Myers Teresa H.-Y. Meng

Published in: ICCD (1992)

Keyphrases

asynchronous circuits
model checking
delay insensitive
process algebra
petri net
timed automata
program synthesis
texture synthesis
information retrieval
database systems
data structure
search algorithm
artificial neural networks
software engineering
functional programs