SLOCOP-II: a versatile timing verification system for MOSVLSI.

P. Johannes P. Das Luc J. M. Claesen Hugo De Man

Published in: EURO-DAC (1990)

Keyphrases

asynchronous circuits
model checking
verification method
formal verification
data sets
neural network
computer vision
high level
mobile robot