Semi-symbolic modeling and simulation of circuits and systems

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn , Issue , 2006, Pages 983-986

  Grabowski, Darius ^a   Grimm, Christoph ^a   Barke, Erich ^a  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CIRCUIT SIMULATION; MATHEMATICAL MODELS; MONTE CARLO METHODS; NETWORKS (CIRCUITS); PARAMETER ESTIMATION; TRANSIENT ANALYSIS;

MICROELECTRONIC CIRCUITS; PARAMETER VARIATIONS; SEMI-SYMBOLIC MODELING;

MICROELECTRONICS;

EID: 34547272689     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. K. Antreich, H. Gräb, and C. Wieser, "Practical Methods for Worst-Case and Yield Analysis of Analog Integrated Circuits," International Journal of High Speed Electronics and Systems, 4(3), pp. 261-282, 1993.
2. G. Gielen, P. Wambacq, and W M. Sansen, "Symbolic Analysis Methods and Applications for Analog Circuits: A Tutorial Overview," Proceedings of the IEEE, vol. 82, no. 2, pp. 287-304, Feb. 1994.
3. T. A. Henzinger and P.-H. Ho, "Hytech: The Cornell hybrid technology tool," in Hybrid Systems II, ser. Lecture Notes on Computer Science, P. Antsaklis, W Kohn, A. Nerode, and S. Sastry, Eds. Berlin: Springer, 1995, vol. 999, pp. 265-293.
4. L. Hedrich and E. Barke, "A formal approach to verification of linear analog circuits with parameter tolerances," in Proceedings Design, Automation and Test in Europe (DATE). Paris, France: IEEE Computer Society Press, Feb. 1998, pp. 649-654, a.0-71.
5. W. Hartong, L. Hedrich, and E. Barke, "Model Checking Algorithms for Analog Verification," in Design Automation Conference '02 (DAC 2002), New Orleans, Lousiana, July 2002.
6. M. Andrade, J. Comba, and J. Stolfi, "Affine Arithmetic (Extended Abstract)," in INTERVAL '94, St. Petersburg, Russia, 1994.
7. C. Grimm, W. Heupke, and K. Waldschmidt, "Refinement of Mixed-Signal Systems with Affine Arithmetic," in Design and Test in Europe 2004 (DATE '04), Paris, France, 2004.
8. A. Vachoux, C. Grimm, and K. Einwich, "Extending SystemC to support Mixed Discrete-Continuous System Modeling and Simulation," in International Symposion on Circuits and Systems 2005 (ISCAS '05). Kobe, Japan: IEEE Press, 2005.
9. W. Heupke, C. Grimm, and K. Waldschmidt, "Semi-Symbolic Simulation of Nonlinear Systems," in Forum on Specification and Design Languages (FDL'05). Lausanne, Switzerland: ECSI, Sept. 2005.