Logical Relations in Circuit Verification.

Published in: ASIAN (1999)

Keyphrases

high speed
logical structure
model checking
circuit design
asynchronous circuits
neural network
probabilistic logic
electronic circuits
face recognition
semantic relations
formal verification
truth values
evolvable hardware
verification method
analog vlsi
functional verification