An Approach to Model Checking for Nonlinear Analog Systems
Abstract
- An Approach to Model Checking for Nonlinear Analog Systems
Recommendations
Model checking of analog systems using an analog specification language
DATE '08: Proceedings of the conference on Design, automation and test in EuropeIn this contribution an advanced methodology for model checking of analog systems is introduced. A new Analog Specification Language (ASL) for efficient property specifications is defined and model checking algorithms for implementing this language are ...
Model reduction via projection onto nonlinear manifolds, with applications to analog circuits and biochemical systems
ICCAD '08: Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided DesignPrevious model order reduction methods fit into the framework of identifying the low-order linear subspace and using the linear projection to project the full state space into the low-order subspace. Despite its simplicity, the macromodel might ...
Analog circuit verification by statistical model checking
ASPDAC '11: Proceedings of the 16th Asia and South Pacific Design Automation ConferenceWe show how statistical Model Checking can be used for verifying properties of analog circuits. As integrated circuit technologies scale down, manufacturing variations in devices make analog designs behave like stochastic systems. The problem of ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
Publisher
IEEE Computer Society
United States
Publication History
Check for updates
Qualifiers
- Article
Conference
Acceptance Rates
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 89Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in