Time Constrained Verification of Analog Circuits using Model-Checking Algorithms

Electronic Notes in Theoretical Computer Science

Volumn 153, Issue 3 SPEC. ISS., 2006, Pages 37-52

  Grabowski, Darius ^a   Platte, Daniel ^b   Hedrich, Lars ^c   Barke, Erich ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

^b INFINEON TECHNOLOGIES AG   (Germany)

^c GOETHE UNIVERSITY   (Germany)

Author keywords

Analog Circuits; CTL; Model Checking; Time Constraints

Indexed keywords

CONSTRAINT THEORY; INTEGRATED CIRCUITS; MATHEMATICAL MODELS; SPECIFICATIONS;

ANALOG CIRCUITS; CTL; MODEL CHECKING; TIME CONSTRAINTS;

ANALOG COMPUTERS;

EID: 33744778417     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2006.01.026     Document Type: Article

References (10)

1. Alur R. Timed automata. CAV '99: International Conference on Computer-Aided Verification. LNCS (1999) 8-22
2. Alur, R., C. Courcoubetis and D. Dill, Model-Checking for Real-Time systems, LICS '90: Proceedings of the Annual IEEE Symposium on Logic in Computer Science 5 (1990), pp. 414-425
3. Alur R., Courcoubetis C., and Dill D. Model-checking in dense real-time. Information and Computation (1993) 2-34
4. Chatterjee K., Dasgupta P., and Chakrabarti P. A Branching Time Temporal Framework for Quantitative Reasoning. Journal of Automated Reasoning 30 (2003) 205-232
5. Dang, T., A. Douze and O. Maler, Verification of analog and mixed-signal circuits using hybrid system techniques, FMCAD 04: Formal Methods in Computer-Aided Design (2004)
6. Dellnitz M., Froyland G., and Junge O. The algorithms behind gaio - set oriented numerical methods for dynamical systems. In: Fiedler B. (Ed). Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems (2001), Springer 145-174
7. Hartong, W., L. Hedrich and E. Barke, Model checking algorithms for analog verification, DAC '02: Design Automation Conference (2002), pp. 542-547
8. Hartong W., Hedrich L., and Barke E. On discrete modeling and model checking for nonlinear analog systems. CAV '02: International Conference on Computer-Aided Verification. LNCS 2404 (2002) 401-413
9. Henzinger T., and Ho P.-H. Algorithmic analysis of nonlinear hybrid systems. CAV '95: International Conference on Computer-Aided Verification. LNCS 939 (1995) 225-238
10. Ho C., Ruehli A., and Brennan P. The modified nodal approach to network analysis. IEEE Transactions on Circuits and Systems 22 (1975) 504-509