Verification of the speed-independent circuits by STG unfoldings.

Alex Kondratyev Alexander Taubin

Published in: ASYNC (1994)

Keyphrases

asynchronous circuits
high speed
delay insensitive
real time
model checking
data sets
similarity measure
databases
e learning
image sequences
low power
processing speed
analog circuits