5 search results - page 1 / 1 » Using Stochastic Differential Equation for Verification of N... |
ET
2010
13 years 3 months ago
2010
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
We model and verify analog designs in the presence of noise and process variation using an automated theorem prover, MetiTarski. Due to the statistical nature of noise, we propose ...
DAC
2011
ACM
12 years 4 months ago
2011
ACM
Stochastic device noise has become a significant challenge for high-precision analog/RF circuits, and it is particularly difficult to correctly include both white noise and flic...
ICCAD
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper we consider the important problem of noise analysis of non-autonomous nonlinear RF circuits in presence of input signal phase noise. We formulate this problem as a s...
FMCAD
2004
Springer
13 years 8 months ago
2004
Springer
In this paper we demonstrate a potential extension of formal verification methodology in order to deal with time-domain properties of analog and mixed-signal circuits whose dynamic...