Login / Signup

On behavioral model equivalence checking for large analog/mixed signal systems.

Amandeep SinghPeng Li
Published in: ICCAD (2010)
Keyphrases
  • behavioral model
  • mixed signal
  • low power
  • digital circuits
  • artificial intelligence