Login / Signup
A Timing Verifier and Timing Profiler for Asynchronous Circuits.
Per Arne Karlsen
Per Torstein Røine
Published in:
ASYNC (1999)
Keyphrases
</>
asynchronous circuits
process algebra
delay insensitive
model checking
neural network
high dimensional
multiresolution
real time
database systems
multi agent systems
expert systems
wireless sensor networks