Login / Signup

Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods.

David WalterScott LittleChris J. MyersNicholas SeegmillerTomohiro Yoneda
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2008)
Keyphrases
  • mixed signal
  • signal processing
  • model checking
  • vlsi circuits
  • edge detection
  • markov random field
  • low power
  • digital circuits