Statistical runtime verification of analog and mixed signal designs

3rd International Conference on Signals, Circuits and Systems, SCS 2009

Volumn , Issue , 2009, Pages

  Wang, Zhiwei ^a   Zaki, Mohamed H ^b   Tahar, Sofiène ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANALOG AND MIXED SIGNALS; ANALOG AND MIXED-SIGNAL DESIGN; CONFIDENCE LEVELS; ERROR MARGINS; RUN-TIME VERIFICATION; STATISTICAL PROPERTIES; STOCHASTIC BEHAVIOR; VERIFICATION RESULTS;

JITTER;

DESIGN;

EID: 77951444995     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSCS.2009.5412620     Document Type: Conference Paper

References (16)

1. A. Aziz, K. Sanwal, V. Singhal, and R.K. Brayton. Verifying Continuous Time Markov Chains. In Computer Aided Verification, pages 269-276. Springer, 1996.
2. E. Clarke, A. Donzé, and A. Legay. Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Δ-Ε Modulator. In Hardware and Software: Verification and Testing, volume 5394 of LNCS, pages 149-163. Springer, 2009.
3. Collet International Research. Survey, 2002.
4. O. Hasan. Formal Probabilistic Analysis using Theorem Proving. Ph.D. Thesis, Concordia University, 2008.
5. M. Kim, S. Kannan, I. Lee, O. Sokolsky, and M. Viswanathan. Java-mac: A run-time assurance approach for java programs. Formal Methods in System Design, 24(2): .129-155, 2004.
6. K. Kundert. Predicting the Phase Noise and Jitter of PLL-Based Frequency Synthesizers, http://www.designers-guide.org/.
7. P. L'Ecuyer. Uniform Random Number Generation. Annals of Operations Research, 53:77C120, 1994.
8. M.P. Li. Jitter, Noise, and Signal Integrity at High-Speed. Prentic Hall, 2007.
9. W. L. Martinez and A. R. Martinez. Computational Statistics Handbook with MATLAB . Chapman & Hall/CRC, 2001.
10. The Math Works. Matlab. http://www.mathworks.com/.
11. N. Metropolis and S. Ulam. The Monte Carlo Method. Journal of the American Statistical Association, 39:335-341, 1949.
12. T. Pyzdek and P. Keller. Quality Engineering Handbook. CRC, 2003.
13. U. Sammapun, I. Lee, and O. Sokolsky. RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. In Proc. RealTime Computing Systems and Applications, pages 147-153, 2005.
14. H.L.S. Younes and R.G. Simmons. Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In Computer Aided Verification, volume 2404 of LNCS, pages 23-39. Springer, 2002.
15. H.L.S. Younes. Error control for probabilistic model checking. In Verification, Model Checking, and Abstract Interpretation, volume 3855 of LNCS, pages 142-156. Springer, 2006.
16. J. Yuan, C. Pixley, and A. Aziz. Constraint-Based Verification. Springer, 2006.