Discrete Event Dynamic Systems
On Discrete Modeling and Model Checking for Nonlinear Analog Systems
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
A Verification System for Transient Response of Analog Circuits Using Model Checking
VLSID '05 Proceedings of the 18th International Conference on VLSI Design held jointly with 4th International Conference on Embedded Systems Design
Verifying analog oscillator circuits using forward/backward abstraction refinement
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Verification of analog/mixed-signal circuits using labeled hybrid petri nets
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Symbolic Model Checking of Analog/Mixed-Signal Circuits
ASP-DAC '07 Proceedings of the 2007 Asia and South Pacific Design Automation Conference
Verification of analog and mixed-signal circuits using symbolic methods
Verification of analog and mixed-signal circuits using symbolic methods
The Case for Analog Circuit Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic simulation using sensitivity analysis
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Bounded model checking of analog and mixed-signal circuits using an SMT solver
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Temporal logic verification using simulation
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Review: Formal verification of analog and mixed signal designs: A survey
Microelectronics Journal
MTL robust testing and verification for LPV systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
A new verification method for embedded systems
ICCD'09 Proceedings of the 2009 IEEE international conference on Computer design
Automatic abstraction for verification of cyber-physical systems
Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems
Analog circuit verification by statistical model checking
Proceedings of the 16th Asia and South Pacific Design Automation Conference
ABCD-L: approximating continuous linear systems using boolean models
Proceedings of the 50th Annual Design Automation Conference
Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces
Journal of Electronic Testing: Theory and Applications
| Hi-index | 0.00 |
Formal and semi-formal verification of analog/mixed-signal circuits is complicated by the difficulty of obtaining circuit models suitable for analysis. We propose a method to generate a formal model from simulation traces. The resulting model is conservative in that it includes all of the original simulation traces used to generate it plus additional behavior. Information obtained during the model generation process can also be used to refine the simulation and verification process.