TRANS: efficient sequential verification of loop-free circuits.

Zurab Khasidashvili John Moondanos Ziyad Hanna

Published in: HLDVT (2002)

Keyphrases

high speed
asynchronous circuits
data mining
databases
information retrieval
case study
computationally expensive
highly efficient
face verification