Browsing by Author "Deng, Yue"

Now showing items 1-1 of 1

    • SAT-based Verification for Analog and Mixed-signal Circuits 
      Deng, Yue (2012-07-16)
      The wide application of analog and mixed-signal (AMS) designs makes the verification of AMS circuits an important task. However, verification of AMS circuits remains as a significant challenge even though verification ...