Embedded tutorial: Analog-/mixed-signal verification methods for AMS coverage analysis
暂无分享,去创建一个
Wolfgang Nebel | Fabian Speicher | Stefan Heinen | Christoph Grimm | Lars Hedrich | Georg Glaeser | Erich Barke | Markus Olbrich | Eckhard Hennig | Carna Radojicic | Gregor Nitsche | Andreas Furtig | Hyun-Sek Lukas Lee | S. Heinen | Carna Radojicic | C. Grimm | L. Hedrich | E. Barke | W. Nebel | G. Glaeser | E. Hennig | M. Olbrich | Hyun-Sek Lukas Lee | Andreas Furtig | Fabian Speicher | Gregor Nitsche
[1] Leon O. Chua,et al. Canonical piecewise-linear modeling , 1986 .
[2] Erich Barke,et al. Using analog circuit behavior to generate SystemC events for an acceleration of mixed-signal simulation , 2011, 2011 IEEE 29th International Conference on Computer Design (ICCD).
[3] Ingmar Neumann,et al. An Accelerated Mixed-Signal Simulation Kernel for SystemC , 2010, FDL.
[4] Edward A. Lee,et al. Component-based design for the future , 2011, 2011 Design, Automation & Test in Europe.
[5] Carna Radojicic. Symbolic Simulation of Mixed-Signal Systems with Extended Affine Arithmetic , 2016 .
[6] Matthias Althoff,et al. Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits , 2015, The 20th Asia and South Pacific Design Automation Conference.
[7] Klaus Waldschmidt,et al. Refinement of mixed-signals systems with affine arithmetic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.
[8] Sriram Sankaranarayanan,et al. Piecewise linear modeling of nonlinear devices for formal verification of analog circuits , 2012, 2012 Formal Methods in Computer-Aided Design (FMCAD).
[9] Wolfgang Nebel,et al. Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics , 2015, IESS.
[10] Young-Hyun Jun,et al. Adaptive frequency-controlled ultra-fast hysteretic buck converter for portable devices , 2012, 2012 International SoC Design Conference (ISOCC).
[11] Lars Hedrich,et al. Model Checking of Analog Systems using an Analog Specification Language , 2008, 2008 Design, Automation and Test in Europe.
[12] Marco Roveri,et al. Validation of requirements for hybrid systems: A formal approach , 2012, TSEM.
[13] Alessandro Cimatti,et al. OCRA: A tool for checking the refinement of temporal contracts , 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[14] J. Stolfi,et al. An Introduction to Affine Arithmetic , 2003 .
[15] Erich Barke,et al. Efficient generation of analog circuit models for accelerated mixed-signal simulation , 2012, 2012 IEEE International SOC Conference.
[16] Wai-Kai Chen,et al. Feedback, Nonlinear, and Distributed Circuits , 2018 .
[17] Lars Hedrich,et al. Trajectory-Directed discrete state space modeling for formal verification of nonlinear analog circuits , 2012, 2012 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).
[18] Alberto L. Sangiovanni-Vincentelli,et al. Contracts for System Design , 2018, Found. Trends Electron. Des. Autom..
[19] Patrick Garda,et al. Signal Integrity-Aware Virtual Prototyping of Field Bus-Based Embedded Systems , 2013, IEEE Transactions on Components, Packaging and Manufacturing Technology.
[20] A. T. Davis. An overview of algorithms in Gnucap , 2003, Proceedings of the 15th Biennial University/Government/ Industry Microelectronics Symposium (Cat. No.03CH37488).