Synchronous emulation of asynchronous circuits.

John O'Leary Geoffrey Brown

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1997)

Keyphrases

asynchronous circuits
process algebra
delay insensitive
model checking
asynchronous communication
database
expert systems
databases
data structure
user interface