Behavior and Synthesis of Two-Input Gate Asynchronous Circuits.

Nikolai Starodoubtsev Sergei Bystrov

Published in: ASYNC (2005)

Keyphrases

asynchronous circuits
process algebra
model checking
delay insensitive
multiple input
real world
case study
program synthesis
nano scale
real time
databases
information retrieval
genetic algorithm
website
input data
functional programs