Multilevel verification of MOS circuits.

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1990)

Keyphrases

floating gate
asynchronous circuits
model checking
flip flops
high speed
delay insensitive
fingerprint verification
analog circuits
real time
image processing
vlsi circuits
functional verification
concurrent systems
verification method
digital circuits
formal verification
temporal logic
website
neural network