Login / Signup

AQUILA: An equivalence verifier for large sequential circuits.

Shi-Yu HuangKwang-Ting ChengKuang-Chien Chen
Published in: ASP-DAC (1997)
Keyphrases
  • high speed
  • circuit design
  • social networks
  • analog vlsi
  • neural network
  • multiscale
  • reinforcement learning
  • evolutionary algorithm
  • sequential search
  • logic synthesis
  • interactive dynamic influence diagrams