Verification of the Tamarack-3 Microprocessor in a Hybrid Verification Environment.

Zheng Zhu Jeffrey J. Joyce Carl-Johan H. Seger

Published in: HUG (1993)

Keyphrases

functional verification
model checking
face verification
dynamic environments
asynchronous circuits
formal verification
design methodology
e learning
neural network
high speed
real time
information technology
hybrid learning
information systems
data mining
verification method
data sets