Browsing by Subject "reachability anlysis"
Now showing items 1-1 of 1
-
(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 ...