Papers and Documents

The following are thesis, papers, and reports that I authored, some of which are available on-line. Those that are available directly for previewing, are indicated as such. Please let me know if you are interested in a postscript version of any of these documents.
 
 

Thesis

Luis Miguel Silveira, "Model Order Reduction Techniques for Circuit Simulation", Phd Thesis, Massachusetts Institute of Technology, May 1994.

Luis Miguel Silveira, "Circuit Simulation Algorithms for Massively Parallel Processors", Masters Thesis, Massachusetts Institute of Technology, May 1990.

Luis Miguel Silveira, "Métodos Explícitos por Ajuste de Exponencial para Simulação Eléctrica de Circuitos em Arquitecturas Paralelas", Tese de Mestrado, Instituto Superior Técnico, Universidade Técnica de Lisboa, Agosto 1989.

Journal Papers

João P. Costa, Mike Chou, L. Miguel Silveira, "Efficient Techniques for Accurate Modeling and Simulation of Substrate Coupling in Mixed-Signal IC's", accepted for publication in the IEEE Transactions on CAD, 1998 (under 2nd revision).

Luís Miguel Silveira, Ibrahim Elfadel, Mattan Kamon and Jacob K. White, "Coupled Circuit-Interconnect Analysis using Arnoldi-based Model Order Reduction", accepted for publication in the Special Issue of Computational Methods in Applied Mechanics and Engineering on Advances in Computational Methods in Electromagnetics.

Mattan Kamon, Nuno Marques, L. Miguel Silveira and Jacob White, "Automatic generation of Accurate Circuit Models of 3-D Interconnect", IEEE Transactions on Components, Hybrids, and Manufacturing Technology, Part B: Advanced Packaging, 21(3):225-240, August 1998.

L. Miguel Silveira., "The critical path problem in timing verification", The INESC Journal on Research and Development, The INESC Journal on Research and Development, 5(2):36-72, December 1996.

Luís Miguel Silveira, Mattan Kamon, and Jacob K. White, "Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-d interconnect structures", IEEE Transactions on Components, Hybrids, and Manufacturing Technology, Part B: Advanced Packaging, 19(2):283-288, May 1996

Luis Miguel Silveira, Mattan Kamon, and Jacob~K. White, "Algorithms for Coupled Transient Simulation of Circuits and Complicated 3-D Packaging" IEEE Transactions on Components, Hybrids, and Manufacturing Technology, Part B: Advanced Packaging, 18(1):92--98, February 1995.

L. Miguel Silveira, Ibrahim M. Elfadel, Jacob K. White, Monirama Chilukura, and Kenneth S Kundert, "Efficient Frequency-Domain Modeling and Circuit Simulation of Transmission Lines, IEEE Transactions on Components, Packaging, and Manufacturing Technology -- Part B: Advanced Packaging, 17(11):505--513, November 1994.

Andrew Lumsdaine, L. Miguel Silveira, and Jacob K. White, "Massively Parallel Simulation Algorithms for Grid-Based Analog Signal Processors", IEEE Transactions on CAD, 12(11):1665-1678, November 1993.

L. Miguel Silveira, Jacob K. White Horacio C. Neto, and Luis M. Vidigal, "On Exponential Fitting for Circuit Simulation", IEEE Transactions on CAD, 11(5):566-574, May 1992.

International Conference and Workshop Papers

Luís Guerra e Silva, Luís Miguel Silveira and João P. Marques-Silva "Algorithms for Solving Boolean Satisfiability in Combinational Circuits", to appear in Proceedings of the Design Automation and Test in Europe -- DATE'99, Munich, Germany, March 1999.

Joao Paulo Costa, Mike Chou, L. Miguel Silveira "Efficient Techniques for Accurate Extraction and Modeling of of Substrate Coupling in Mixed-Signal IC's", to appear in Proceedings of the Design Automation and Test in Europe -- DATE'99, Munich, Germany, March 1999.

Luís Guerra e Silva, João P. Marques Silva, Luís Miguel Silveira and Karem Sakallah, "Timing Analysis Using Propositional Satisfiability", Proceedings of ICECS'98 - IEEE International Conference on Electronics, Circuits and Systems, Lisbon, Portugal, September 1998.

Nuno Marques, Mattan Kamon, L. Miguel Silveira, "A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects", Mattan Kamon, Nuno Marques, L. Miguel Silveira and Jacob White, in Proceedings of the 35th Design Automation Conference, San Francisco, California, June 1998.

Luís Guerra e Silva, João P. Marques Silva, Luís Miguel Silveira and Karem Sakallah, "Realistic Delay Modeling in Satisfiability-Based Timing Analysis", Proceedings of the International Symposium on Circuits and Systems, Monterey, California, U.S.A, June 1998.

Joao Paulo Costa, Mike Chou, L. Miguel Silveira "Precorrected-DCT Techniques for Modeling and Simulation of Substrate Coupling in Mixed-Signal IC's", to appear in Proceedings of the International Symposium on Circuits and Systems, Monterey, California, U.S.A, June 1998.

Jess Chen, Joel Phillips, L. Miguel Silveira and Ken Kundert, "Modeling RF Circuits for Systems Analysis", Proceedings of the Cadence Technical Conference, San Antonio, Texas, May 1998.

Nuno Marques, Mattan Kamon, Jacob White and L. Miguel Silveira, "A Mixed Nodal-Mesh Formulation for Efficient Extraction and Passive Reduced-Order Modeling of 3D Interconnects", Proceedings of the Cadence Technical Conference, San Antonio, Texas, May 1998.

Nuno Marques, Mattan Kamon, L. Miguel Silveira, "An Efficient Algorithm for Fast Parasitic Extraction and Passive Order Reduction of 3D Interconnect Models", to appear in Proceedings of the Design Automation and Test in Europe -- DATE'98, Paris, France, February 1998.

Joao Paulo Costa, Mike Chou, L. Miguel Silveira "Efficient Techniques for Accurate Modeling and Simulation of Substrate Coupling in Mixed-Signal IC's", to appear in Proceedings of the Design Automation and Test in Europe -- DATE'98, Paris, France, February 1998.

Mattan Kamon, Nuno Marques, L. Miguel Silveira and Jacob White, "Generating Reduced Order Models via PEEC for Capturing Skin and Proximity Effects", in Proceedings of the 6th Topical Meeting on Electrical Performance of Electronic Packaging, San Jose, California, October 1997.

L. Miguel Silveira and Mattan Kamon, "Algorithms for Efficient 3-D Interconnect Modeling and Coupled Circuit Simulation", European Conference on Circuit Theory and Design, Budapest, Hungary, September 1997.

L. Miguel Silveira and Mattan Kamon, "Coupled Circuit-Interconnect Modeling and Simulation", VLSI'97 IX IFIP International Conference on VLSI, Gramado, Rio Grande do Sul, Brasil, Agosto 1997.

L. Miguel Silveira, Ibrahim Elfadel, Mattan Kamon and Jacob K. White, "A Coordinate-Transformed Arnoldi Algorithm for Generating Guaranteed Stable Reduced-Order Models of Arbitrary RLC Circuits", PIERS, Progress in Electromagnetics Research Symposium, Cambridge, MA, July 1997.

L. Miguel Silveira and Mattan Kamon, "Coupled Circuit-Interconnect Modeling and Simulation", Cadence Technical Conference, pages 83-88, Keystone, Colorado, May 1997.

L. Miguel Silveira, Mattan Kamon, Ibrahim Elfadel and Jacob K. White, "A Coordinate-Transformed Arnoldi Algorithm for Generating Guaranteed Stable Reduced-Order Models of Arbitrary RLC Circuits", International Conference on Computer Aided Design of IC, San Jose, CA, November 1996.

L. Miguel Silveira, Mattan Kamon, Ibrahim Elfadel and Jacob K. White, "Stable Reduced-Order Models of Generalized Dynamical Systems Using Coordinate-Transformed Arnoldi Algorithms", accepted for presentation at the Copper Mountain Conference in Iterative Methods, Copper Mountain, CO, April 1996.

I. M. Elfadel, L. Miguel Silveira and J. White, "Stability Criteria for Arnoldi-Based Model Order Reduction", IEEE Conference on Acoustics, Speech, and Signal Processing (ICASSP'96), Atlanta, GA, May 1996.

L. Miguel Silveira, Mattan Kamon, and Jacob K. White, "Direct computation of reduced-order models for circuit simulation of 3-d interconnect structures.", in Proceedings of PIERS, Progress in Electromagnetics Research Symposium Conference, Seattle, WA, July 1995.

L. Miguel Silveira, Mattan Kamon, and Jacob K. White, "Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-d interconnect structures", in Proceedings of the 32nd Design Automation Conference, pages 376--380, San Francisco, CA, June 1995.

L. Miguel Silveira, Mattan Kamon, and Jacob K. White, "Efficent reduced-order modeling of frequency-dependent coupling inductances associated with 3-d interconnect structures", in Proceedings of the European Design and Test Conference, Paris, France, March 1995.

L. Miguel Silveira, Mattan Kamon, and Jacob K. White, "Direct Computation of Reduced Order Models for Circuit Simulation of 3-D Interconnect Structures", in Proceedings of the 3rd Topical Meeting on Electrical Performance of Electronic Packaging, pages 245--248, Monterey, California, November 1994.

L. Miguel Silveira, Mattan Kamon, and Jacob K. White, "Algorithms for Coupled Transient Simulation of Circuits and Complicated 3-D Packaging", in Proceedings of the 44st Electronics Components and Technology Conference, pages 962--970, Washington, DC, May 1994.

L. Miguel Silveira, Ibrahim M. Elfadel, Jacob K. White, Monirama Chilukura, and Kenneth S Kundert, "Efficient Frequency-Domain Modeling and Circuit Simulation of Transmission Lines", in Proceedings of the 31st Design Automation Conference, pages 634--639, San Diego, CA, June 1994.

L. Miguel Silveira, Ibrahim M. Elfadel, and Jacob K. White, "A Guaranteed Stable Order Reduction Algorithm for Packaging and Interconnect Simulation", in Proceedings of the Topical Meeting on Electrical Performance of Electronic Packaging, pp. 165-168, Monterey, California, October 1993.

L. Miguel Silveira, Jacob K. White, and Steven Leeb, "A Modified Envelope-Following Approach to Clocked Analog Circuit Simulation", in International Conference on Computer Aided-Design, pp. 20-23, Santa Clara, California, November 1991.

L. Miguel Silveira, Andrew Lumsdaine, and Jacob K. White, "Parallel Simulation Algorithms for Grid-Based Analog Signal Processors", in International Conference on Computer Aided-Design, pp. 442-445, Santa Clara, California, November 1990.

Horacio C. Neto, L. Miguel Silveira, Jacob K. White, and Luis M. Vidigal, "On Exponential Fitting for Circuit Simulation", in International Symposium on Circuits and Systems, pp. 514-518, New Orleans, Louisiana, May 1990.

Arlindo L. Oliveira, Fernando Coito, Luis M. Silveira, Joao M. Lemos, Jorge S. Marques, "A microprocessor implementation of self-tunning controllers", in 2nd IFAC Symposium on Adaptive Systems and Control and Signal Processing, Lund, Sweden, June 1986.

National Conference and Workshop Papers

Luis Miguel Silveira, Jose Gracio, and Pedro Veiga, "Palprog - uma ferramenta software para agregados logicos programaveis", in 2o Simposio de Electronica das Telecomunicacoes, Lisboa, Portugal, Maio 1986.

J. Franca, S. Santos, P. Bicudo, and L. M. Silveira. "Novos circuitos e sistemas avancados de condensadores comutados para telecomunicacoes", in 2o Simposio de Electronica das Telecomunicacoes, Lisboa, Portugal, Maio 1986.

Reports

M. Silveira, A. Lumsdaine, and J. White, "SIMLAB Users' Guide", Technical Report 588, Research Laboratory of Electronics, Massachusetts Institute of Technology, December 1994.

A. Lumsdaine, M. Silveira, and J. White, "SIMLAB Programmer's Guide", Technical Report 589, Research Laboratory of Electronics, Massachusetts Institute of Technology, December 1994.

A. Lumsdaine, M. Silveira, and J. White, "CMVSIM Users' Guide", Technical Report 590, Research Laboratory of Electronics, Massachusetts Institute of Technology, December 1994.

A. Lumsdaine, M. Silveira, and J. White, "CMVSIM Programmer's Guide", Research Laboratory of Electronics, Massachusetts Institute of Technology, 1990.

L. Miguel Silveira, J. White, Horacio Neto, and Luis Vidigal, "On Exponential Fitting for Circuit Simulation", Technical report, Microsystems Technology Laboratories VLSI Memo 90-593, Massachusetts Institute of Technology, June 1990.

Luis Miguel Silveira, "A Parallel Band-Matrix Solver for a Circuit Simulation Problem", Internal Report, Massachusetts Institute of Technology and Thinking Machines Corporation, December 1988.

Luis Miguel Silveira and Joao Paulo Silva, " Parallel Circuit Simulation: Preliminary Results", Technical report, Esprit 1058 Report, January 1989.

Luis Miguel Silveira, "A Static Partitioning Tool for Circuit Simulation", Technical report, Esprit 1058 Report, March 1987.

Luis Miguel Silveira, "Multiprocessor Implementation of an event-driven Circuit Simulator: Evaluation of Design Options", Technical report, Esprit 1058 Report, July 1987.

Luis Miguel Silveira, "Study of Multiprocessor Architectures for a Hardware Accelerator", Technical report, Esprit 1058 Report, January 1987.

Luis Miguel Silveira <lms@algos.inesc.pt>
Last modified: Sun Jun 6 17:50:02 1999