Curriculum Vitae

---

Luís Miguel Silveira

---

IST - Departamento de Engenharia Electrotecnica e de Computadores

Instituto Superior Técnico, Universidade Técnica de Lisboa

INESC - Instituto de Engenharia de Sistemas e Computadores

Av. Alves Redol, 9, 339A

1000 Lisboa, Portugal

Tel: (351) - 1 - 3100337

Fax: (351) - 1 - 3523401

Interesses Científicos

Investigador na área de projecto de circuitos electrónicos auxiliado por ferramentas computacionais, com ênfase nos algoritmos para computação paralela e nos aspectos teóricos e prácticos relacionados com métodos de simulação numérica para problemas em projecto de circuitos e sistemas

Experiência Profissional

Instituto Superior Técnico (IST) (1/95 - presente), Lisboa, Portugal

Professor Associado da Secção de Electrónica do Departamento de Engenharia Electrotecnica e de Computadores. Lecciona cadeiras na área de Simulação e Verificação de Circuitos Electrónicos e cadeiras Electrónica básica.

---

Instituto de Engenharia de Sistemas e Computadores (INESC) (1/95 - presente), Lisboa, Portugal

Investigador do INESC, no Grupo de Algoritmos de Optimização e Simulação (ALGOS) e Grupo de Sistemas Integrados (ESDA). Desenvolve trabalho na área de Simulação de Circuitos, nomeadamente em métodos numéricos para a resolução de problemas de elevada complexidade e algoritmos para modelação de estruturas de interligação em tecnologias avançadas de produção de electrónica.

Membro fundador e investigador dos Cadence European Laboratories

---

Thinking Machines Corporation (TMC) (6/90 - 9/90), Cambridge, MA, E.U.A

Investigação na área de métodos numéricos com aplicação em arquitecturas massivamente paralelas e algoritmos paralelos para a simulação de circuitos integrados para visão robótica. Desenvolvimento de um simulador de circuitos baseado na Connection Machine, CMVSIM, optimizado para a simulação de circuitos analógicos mapeados em arrays bi-dimensionais.

---

Massachusetts Institute of Technology (MIT) (9/88 - 12/94), Cambridge, MA, E.U.A

Research Assistant no Grupo de VLSI­CAD do Research Laboratory for Electronics (RLE). Desenvolveu trabalho de investigação em algoritmos numéricos para simulação de circuitos, com ênfase em métodos aplicáveis a arquitecturas de computador paralelas.

---

Instituto Superior Técnico (IST) (9/86 - 12/94), Lisboa, Portugal

Assistente da Secção de Electrónica do Departamento de Engenharia Electrótecnica e de Computadores.

---

Instituto de Engenharia de Sistemas e Computadores (INESC) (10/86 - 12/94), Lisboa, Portugal

Investigador do INESC, estudou arquitecturas e algoritmos de processamento paralelo com ênfase na aplicação a problemas de simulação de circuitos electrónicos em computador. Desenvolveu, no contexto de programas europeus ESPRIT versões aceleradas e paralelizadas de uma ferramenta de simulação.

---

European Center for Nuclear Research (CERN) (7/86 - 9/86), Geneve, Suiça

Estudante de verão na Divisãoo EP. Desenvolvimento de ferramentas de computador para auxílio ao projecto e verificação da experiência Aleph a ser levada a cabo no acelerador de particulas LEP.

---

Instituto Superior Técnico (IST) (10/85 - 10/86), Lisboa, Portugal

Monitor da Secção de Electrónica do Departamento de Engenharia Electrótecnica e de Computadores.

---

Instituto Superior Técnico (IST) (10/84 - 10/85), Lisboa, Portugal

Monitor na Secção de Análise e Álgebra do Departamento de Matemática.

Educação, Currículo Académico

Massachusetts Institute of Technology, Cambridge, MA, E.U.A

---

Ph.D em Engenharia Electrótecnica e Ciência da Computação, Maio 1994.

Título da tese: ``Model Order Reduction Algoritmos for Circuit Simulation'' (em inglês no original; trad. ``Algoritmos de Complexidade Reduzida para Simulação de Circuitos'').

Estudos de ténicas e métodos que permitem obter modelos algorítmicos ou de dispositivo, com complexidade reduzida, para inserção em ferramentas de simulação de circuitos em computador. Estudo de algoritmos garantidamente estáveis para interpolação de conjuntos de dados descrevendo um dispositivo no domínio da frequência e geração de um modelo numérico que permita a simulação dinâmica desse dispositivo no domínio do tempo.

Tese orientada pelo Professor Jacob K. White.

Requerimentos de ``Minor'' cumpridos na área de Projecto de Circuitos de Grande Escala de Integração.

Classificação final de cadeiras (GPA cumulativo): 5.0/5.0.

---

S.M. em Engenharia Electrótecnica e Ciência da Computação, Junho 1990

Título da tese: ``Circuit Simulation on Massively Parallel Processors'' (em inglês no original; trad. ``Simulação de Circuitos em Arquitecturas Massivamente Paralelas'')

Estudos dos aspectos envolvidos na implementação de um programa de simulação de circuitos ao nível eléctrico num processador massivamente paralelo. Desenvolvimento de um ambiente de simulação para o projecto de arrays de circuitos integrados baseados num mapeamento bi-dimensional com aplicação em processamento de imagem.

Tese orientada pelo Professor Jacob K. White.

---

E.E. em Engenharia Electrótecnica e Ciência da Computação subsequentemente obtido, no mesmo tópico, Setembro 1991.

---

Instituto Superior Técnico, Lisboa, Portugal

---

Mestrado em Engenharia Electrótecnica e de Computadores, Agosto 1989

Implementação de um simulador eléctrico baseado em acontecimentos numa arquitectura de processamento paralelo do tipo MIMD, coarse-grain. Estudo de algoritmos de integração numérica baseados em métodos explícitos por ajuste de exponencial e de algoritmos asíncronos de controlo do ciclo de simulação paralela. O paralelismo foi investigado e implementado ao nível das estruturas de dados bem como ao nível funcional.

Tese orientada pelo Professor Luís M. Vidigal.

---

Licenciatura com distinção e louvor em Engenharia Electrótecnica e de Computadores, Junho 1986.

Curriculum variado em Engenharia de Sistemas e Computadores, com ênfase em Projecto de Circuitos VLSI, Teoria do Controlo, Sistemas Operativos, Inteligência Artificial, Teoria de Circuitos e Sinais, Electrónica, Matemática Aplicada, Projectos com Microcomputadores, Análise Matemática, Economia, etc.

Classificação final: 19/20.

---

Colégio Valsassina, Lisboa, Portugal

---

12o ano do curso complementar dos liceus

Classificação final: 19/20.

---

11o ano do curso complementar dos liceus.

Classificação final: 18/20.

Publicações

Livros e Teses

---

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

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

Luís 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.

---

Artigos em Revistas Científicas

---

João P. Costa, Mike Chou, L. Miguel Silveira, "Efficient Techniques for Accurate Modeling and Simulation of Substrate Coupling in Mixed-Signal IC's", IEEE Transactions on CAD, Vol. 18, No. 5, May 1999.

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 Computer Methods in Applied Mechanics and Engineering on Advances in Computational Methods in Electromagnetics, Vol. 169/3-4, pp. 377-389, February 1999..

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, 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

Luís 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 Chilukuri and Kenneth Kundert, "Efficient Frequency-Domain Modeling and Circuit Simulation of Transmission Lines, IEEE Transactions on Components, Packaging, and Manufacturing Technology - Part B: Advanced Packaging, 17(4):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 Horácio C. Neto, and Luís M. Vidigal, "On Exponential Fitting for Circuit Simulation", IEEE Transactions on CAD, 11(5):566-574, May 1992.

---

Artigos em Conferências e Workshops Internacionais

---

L.~Miguel Silveira and Nuno Vargas, "Multilevel finite difference methods for the characterization of substrate coupling in deep sub-micron designs", In XII Symposium on Integrated Circuits and Systems, Natal, RN, Brazil, September/October 1999.

Nuno Marques, Mattan Kamon, Jacob White, and L.~Miguel Silveira, "Improving the efficiency of parasitic extraction and simulation of 3d interconnect models", In ICECS'99 - IEEE International Conference on Electronics, Circuits and Systems, Pafos, Cyprus, September, 1999.

M.~Kamon, N.~Marques, Y.~Massoud, L.~Silveira, and J.~White, "Interconnect analysis: From 3-d structures to circuit models", Proceedings of the 36th$ Design Automation Conference, pages 910--914, New Orleans, Louisiana, June 1999.

Carlos P. Coelho, Joel R. Phillips and L. Miguel Silveira, "Robust Rational Function Approximation Algorithm for Model Generation", Proceedings of the 36th Design Automation Conference, New Orleans, Louisiana, U.S.A., June 1999.

Luís Guerra e Silva, Luís Miguel Silveira and João P. Marques-Silva, "Algorithms for Solving Boolean Satisfiability in Combinational Circuits", 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", 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, 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 Design Automation Conference, San Francisco, California, U.S.A., 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", 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", 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", Proceedings of the Design Automation and Test in Europe -- DATE'98, Paris, France, February 1998.

Luís Guerra e Silva, João Marques Silva, Luís Miguel Silveira and Karem Sakallah, "Satisfiability Models and Algorithms for Circuit Delay Computation", in Proceedings of the ACM International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Tau 1997", Austin, Texas, U.S.A., October 1997.

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", 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.", invited presentation, 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.

Horácio C. Neto, L. Miguel Silveira, Jacob K. White, and Luís 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, Luís 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.

---

Artigos em Conferências e Workshops Nacionais

---

Luís Miguel Silveira, José Grácio, and Pedro Veiga, "Palprog - uma ferramenta software para agregados lógicos programaveis", in 2o Simposio de Electrónica das Telecomunicações, Lisboa, Portugal, Maio 1986.

J. Franca, S. Santos, P. Bicudo, and L. M. Silveira. "Novos circuitos e sistemas avançados de condensadores comutados para telecomunicações", in 2o Simposio de Electrónica das Telecomunicações, Lisboa, Portugal, Maio 1986.

---

Relatórios

---

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, Horácio Neto, and Luís Vidigal, "On Exponential Fitting for Circuit Simulation", Technical report, Microsystems Technology Laboratories VLSI Memo 90-593, Massachusetts Institute of Technology, June 1990.

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

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

Luís 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.

Prémios de Mérito Científico

IBM Electronic Design Automation Graduate Fellow (9/91-6/94).

Situação Militar

Considerado apto para o serviço militar obrigatório, passou à Reserva Territorial em 1986.