L. Miguel Silveira
L. Miguel Silveira
IEEE Fellow, Prof. of ECE, INESC-ID, Instituto Superior Técnico, Universidade de Lisboa
Verified email at inesc-id.pt
TitleCited byYear
A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits
LM Silveira, M Kamon, I Elfadel, J White
Proc. ICCAD - International Conference on Computer Aided Design, 288 - 294, 1996
3471996
Guaranteed passive balancing transformations for model order reduction
JR Phillips, L Daniel, LM Silveira
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2003
3422003
Guaranteed passive balancing transformations for model order reduction
J Phillips, L Daniel, LM Silveira
2002 IEEE/ACM DAC - Design Automation Conference, 52-57, 2002
3422002
A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits
LM Silveira, M Kamon, I Elfadel, J White
Computer Methods in Applied Mechanics and Engineering 169 (3-4), 377-389, 1999
3201999
Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
LM Silveira, M Kamon, J White
European Design and Test Conference, 1995, 534-538, 1995
2331995
Poor man's TBR: a simple model reduction scheme
JR Phillips, LM Silveira
IEEE transactions on computer-aided design of integrated circuits and …, 2005
2282005
Poor Man's, TBR: A simple model reduction scheme
J Phillips, LM Silveira
Proceedings DATE - Design, Automation and Test in Europe, 938-943, 2004
2282004
A convex programming approach for generating guaranteed passive approximations to tabulated frequency-data
CP Coelho, J Phillips, LM Silveira
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2004
1742004
Efficient techniques for accurate modeling and simulation of substrate coupling in mixed-signal IC's
JP Costa, M Chou, LM Silveira
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1999
1291999
Robust rational function approximation algorithm for model generation
CP Coelho, JR Phillips, LM Silveira
Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), 207-212, 1999
981999
FastHenry User’s Guide
M Kamon, LM Silveira, C Smithhisler, J White
Research Laboratory of Electronics, Department of Electrical Engineering and …, 1996
791996
PMSat: a parallel version of MiniSAT
L Gil, P Flores, LM Silveira
Journal on Satisfiability, Boolean Modeling and Computation 6, 71-98, 2008
712008
Efficient frequency-domain modeling and circuit simulation of transmission lines
LM Silveira, IM Elfadel, JK White, M Chilukuri, KS Kundert
IEEE Transactions on Components, Packaging, and Manufacturing Technology …, 1994
671994
Algorithms for solving boolean satisfiability in combinational circuits
LG e Silva, LM Silveira, J Marques-Silva
Design, Automation and Test in Europe Conference and Exhibition, 1999 …, 1999
661999
Automatic generation of accurate circuit models of 3-D interconnect
M Kamon, NA Marques, LM Silveira, J White
IEEE Transactions on Components, Packaging, and Manufacturing Technology …, 1998
631998
Passive constrained rational approximation algorithm using Nevanlinna-Pick interpolation
C Coelho, L Silveira, J Phillips
Proceedings of the conference on Design, automation and test in Europe, 923, 2002
552002
A convex programming approach to positive real rational approximation
CP Coelho, JR Phillips, LM Silveira
Proceedings of the 2001 IEEE/ACM international conference on Computer-aided …, 2001
532001
Analog macromodeling using kernel methods
J Phillips, J Afonso, A Oliveira, LM Silveira
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided …, 2003
402003
Satisfiability models and algorithms for circuit delay computation
LG e Silva, J Marques-Silva, LM Silveira, KA Sakallah
ACM Transactions on Design Automation of Electronic Systems 7 (1), 137-158, 2002
372002
A mixed nodal-mesh formulation for efficient extraction and passive reduced-order modeling of 3D interconnects
N Marques, M Kamon, J White, LM Silveira, LM Silveira
Proceedings of the 35th annual Design Automation Conference, 297-302, 1998
351998
The system can't perform the operation now. Try again later.
Articles 1–20