ABSTRACT
Verification of either analog or digital systems is known to be difficult. Verifying modern mixed-signal systems increases the complexity further. This paper presents a range based approach to verify mixed-signal systems including parameter variation by a single simulation run. Analog systems are simulated by a SPICE-like simulator which uses a special range arithmetic, called affine arithmetic. The simulation of digital systems is extended to include the earliest and latest possible arrival times for every signal. Special converters transform the signals between each domain. The speed-up of this framework compared to traditional Monte-Carlo simulations was up to 500.
- Accellera Systems Initiative. SystemC. http://www.accellera.org.Google Scholar
- G. Al-Sammane, M. H. Zaki, and S. Tahar. A Symbolic Methodology for the Verification of Analog and Mixed Signal Designs. In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), pages 249--254, 2007. Google ScholarDigital Library
- L. H. de Figueiredo and J. Stolfi. Self-Validated Numerical Methods and Applications. Brazilian Mathematics Colloquium Monograph, 1997.Google Scholar
- G. Frehse, C. Le Guernic, A. Donzé, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler. SpaceEx: Scalable Verification of Hybrid Systems. In Proceedings of the 23rd International Conference on Computer-aided Verification (CAV), pages 379--395, 2011. Google ScholarDigital Library
- D. Grabowski, C. Grimm, and E. Barke. Semi-Symbolic Modeling and Simulation of Circuits and Systems. In Proceeding of the IEEE International Symposium on Circuits and Systems (ISCAS), pages 983--986, 2006.Google ScholarCross Ref
- D. Grabowski, M. Olbrich, and E. Barke. Analog Circuit Simulation Using Range Arithmetics. In Proceedings of the ASP-DAC, pages 762--767, 2008. Google ScholarDigital Library
- S. Gupta, B. H. Krogh, and R. A. Rutenbar. Towards Formal Verification of Analog Designs. In Proceedings of the IEEE/ACM International Conference on Computer-aided Design (ICCAD), pages 210--217, 2004. Google ScholarDigital Library
- K. Hanna. Reasoning About Analog-Level Implementations of Digital Systems. In Formal Methods in System Design, pages 127--158, 2000. Google ScholarDigital Library
- Z. Hao, S. X.-D. Tan, R. Shen, and G. Shi. Performance Bound Analysis of Analog Circuits Considering Process Variations. In Proceedings of the 48th annual Design Automation Conference (DAC), pages 310--315, 2011. Google ScholarDigital Library
- W. Hartong, L. Hedrich, and E. Barke. Model Checking Algorithms for Analog Verification. In Proceedings of the 39th annual Design Automation Conference (DAC), pages 542--547, 2002. Google ScholarDigital Library
- T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. What's Decidable About Hybrid Automata? In Journal of Computer and System Sciences, pages 94--124, 1998. Google ScholarDigital Library
- Institute of Microelectronic Systems. Computation Library for Affine Arithmetic. http://aaflib.sourceforge.net/.Google Scholar
- A. Krause, M. Olbrich, and E. Barke. Enclosing the Modeling Error in Analog Behavioral Models Using Neural Networks and Affine Arithmetic. In International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD), 2012.Google Scholar
- S. Little, N. Seegmiller, D. Walter, C. Myers, and T. Yoneda. Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. In Proceedings of the 2006 IEEE/ACM International Conference on Computer-aided Design (ICCAD), pages 275--282, 2006. Google ScholarDigital Library
- R. E. Moore. Interval Analysis. Prentice-Hall, New York, 1966.Google Scholar
- C. Radojicic, C. Grimm, F. Schupfer, and M. Rathmair. Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. In VLSI Design, 2013. Google ScholarDigital Library
- L. Scheffer, L. Lavagno, and G. E. Martin. EDA for IC Implementation, Circuit Design, and Process Technology. CRC Press, 2006. Google ScholarDigital Library
Index Terms
- Simulation Based Verification with Range Based Signal Representations for Mixed-Signal Systems
Recommendations
Low-power mixed-signal CVNS-based 64-bit adder for media signal processing
In this paper, design of a mixed-signal 64-bit adder based on the continuous valued number system (CVNS) is presented. The 64-bit adder is generated by cascading four 16-bit radix-2 CVNS adders. Truncated summation of the CVNS digits reduced the number ...
A JAVA-Based Mixed-Signal Design Environment
SBCCI '00: Proceedings of the 13th symposium on Integrated circuits and systems designThe increasing importance of mixed-signal design among today's and tomorrow's hardware systems brings up new challenges in the field of design tool construction. We present a newly developed VHDL-AMS design environment. The environment consists of a ...
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods
This paper presents two symbolic model checking algorithms for the verification of analog/mixed-signal circuits. The first model checker utilizes binary decision diagrams while the second is a bounded model checker that uses a satisfiability modulo ...
Comments