Verifying dynamic properties of nonlinear mixed-signal circuits via efficient SMT-based techniques.

Leyi Yin Yue Deng Peng Li

Published in: ICCAD (2012)

Keyphrases

vlsi circuits
mixed signal
pattern recognition
multi channel
video sequences
motion estimation
pattern matching
low power
data flow