DocumentCode
2352987
Title
Automated macromodel generation for electronic systems
Author
Roychowdhury, Jaijeet
Author_Institution
Minnesota Univ., Minneapolis, MN, USA
fYear
2003
fDate
7-8 Oct. 2003
Firstpage
11
Lastpage
16
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Behavioral Modeling and Simulation, 2003. BMAS 2003. Proceedings of the 2003 International Workshop on
Print_ISBN
0-7803-8135-1
Type
conf
DOI
10.1109/BMAS.2003.1249850
Filename
1249850
Link To Document