Login / Signup
AQUILA: An Equivalence Checking System for Large Sequential Designs.
Shi-Yu Huang
Kwang-Ting Cheng
Kuang-Chien Chen
Chung-Yang Huang
Forrest Brewer
Published in:
IEEE Trans. Computers (2000)
Keyphrases
</>
neural network
information retrieval
genetic algorithm
clustering algorithm
data structure
relational databases
mobile robot
design tools
consistency checking
verification method