Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Model checking algorithms for analog verification
Proceedings of the 39th annual Design Automation Conference
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Algorithmic Analysis of Nonlinear Hybrid Systems
Proceedings of the 7th International Conference on Computer Aided Verification
A Branching Time Temporal Framework for Quantitative Reasoning
Journal of Automated Reasoning
A symbolic approach for mixed-signal model checking
Proceedings of the 2008 Asia and South Pacific Design Automation Conference
Model checking of analog systems using an analog specification language
Proceedings of the conference on Design, automation and test in Europe
Theoretical Computer Science
Using Disparity to Enhance Test Generation for Hybrid Systems
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
Formal verification of phase-locked loops using reachability analysis and continuization
Proceedings of the International Conference on Computer-Aided Design
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
In this contribution we present algorithms for model checking of analog circuits enabling the specification of time constraints. Furthermore, a methodology for defining time-based specifications is introduced. An already known method for model checking of integrated analog circuits has been extended to take into account time constraints. The method will be presented using three industrial circuits. The results of model checking will be compared to verification by simulation.