Title :
Automated macromodel generation for electronic systems
Author :
Roychowdhury, Jaijeet
Author_Institution :
Minnesota Univ., Minneapolis, MN, USA
Abstract :
Automated model generation methods are becoming an increasingly important component of methodologies for effective system verification, especially for mixed-signal electronic systems. We organize and review the fundamental principles, development and applicability of the algorithmically-based model generation methods available today for linear and nonlinear systems.
Keywords :
electronic engineering computing; formal verification; polynomial approximation; algorithmically-based model generation; automated model generation method; linear system; mixed-signal electronic system; nonlinear system; system verification; Circuit simulation; Computational modeling; Equations; Fabrication; Flexible printed circuits; Integrated circuit interconnections; Mathematical model; Nonlinear systems; Process design; Time to market;
Conference_Titel :
Behavioral Modeling and Simulation, 2003. BMAS 2003. Proceedings of the 2003 International Workshop on
Print_ISBN :
0-7803-8135-1
DOI :
10.1109/BMAS.2003.1249850