| | Wednesday, June 12, 2002, 4:30 PM - 6:00 PM | Room: 287
|
 |
SESSION 35
|
| | Advances in Analog Modeling
|
| | Chair: Alan Mantooth - Univ. of Arkansas, Fayetteville, AR
|
| | Organizers: Joel R Phillips, Kartikeya Mayaram
|
| | This session features topics related to modeling of analog systems. The first paper presents a high-level behavioral model for coupled oscillators. The next paper seeks to apply formal methods to analog verification problems. The third paper discusses a technique for analyzing unsolvable systems that are possible to construct in the VHDL-AMS language. The final paper presents novel quadrature schemes for computing inductance in the presence of magnetically
permeable materials.
|
| |  35.1 |
Behavioral Modeling of (Coupled) Harmonic Oscillators
|
| | | Speaker(s): | Piet Vanassche - Katholieke Univ., Leuven, Belgium
|
| | | Author(s): | Piet Vanassche - Katholieke Univ., Leuven, Belgium
Georges G. Gielen - Katholieke Univ., Leuven, Belgium
Willy M. Sansen - Katholieke Univ., Leuven, Belgium
|
| | 35.2 |
Model Checking Algorithms for Analog Verification |
| | Speaker(s): | Walter Hartong - Univ. of Hannover, Hannover, Germany
|
| | Author(s): | Walter Hartong - Univ. of Hannover, Hannover, Germany
Lars Hedrich - Univ. of Hannover, Hannover, Germany
Erich Barke - Univ. of Hannover, Hannover, Germany
|
| | 35.3 |
Regularization of Hierarchical VHDL-AMS Models using Bipartite Graphs |
| | Speaker(s): | Jochen Mades - Infineon Tech., Darmstadt, Germany
|
| | Author(s): | Jochen Mades - Infineon Tech., Munich, Germany
Manfred Glesner - Darmstadt Univ. of Tech., Darmstadt, Germany
|
| | 35.4 |
Improving the Generality of the Fictitious Magnetic Charge Approach to Computing Inductances in the Presence of Permeable Materials |
| | Speaker(s): | Yehia M. Massoud - Synopsys, Inc., Mountain View, CA
|
| | Author(s): | Yehia M. Massoud - Synopsys, Inc., Mountain View, CA
Jacob K. White - Massachusetts Institute of Tech., Cambridge, MA
|
|