|
|
Verificação da especificação paramétrica de circuitos eléctricos | Trabalhos Finais de Curso 2004/2005 | Geração Automática de Modelos por Técnicas de Aprendizagem |
|
Este trabalho enquadra-se numa cooperação informal com uma empresa nacional de projecto de circuitos e sistemas electrónicos, pretendendo-se estudar formas de acelerar o ciclo de optimização no projectos desses circuitos.
No processo de optimização das características, da topologia ou do desempenho de um circuito eléctrico é por vezes necessário efectuar dezenas ou centenas de simulações de um mesmo circuito, efectuando apenas pequenas alterações ao mesmo. Desta forma efectuam-se inúmeras simulações em que se alteram apenas pequenas características do circuito, como sejam as dimensões de alguns transistores, mantendo-se o resto do circuito inalterado entre simulações. Este processo é naturalmente moroso dado o grande número de alternativas a testar. No entanto a situação agrava-se dado que em cada simulação o simulador necessita de reler o circuito, construir uma descrição interna do mesmo, e criar as estruturas de dados necessárias para levar a cabo a simulação. Infelizmente as ferramentas actualmente existentes não prevêm esta possibilidade não existindo sequer grande trabalho realizado nesse sentido.
Alterar o processo de controlo de simulação de um simulador tipo Spice de forma a manter a informação do circuito em memória e possibilitar novas simulações com variações de parâmetros.
Pretende-se estudar a possibilidade de acelerar o processo de simulação por alteração do ambiente de simulação ou introduzindo modificações internas na estrutura de um simulador de forma a evitar a leitura de nova descrição e permitir apenas a alteração incremental dos parâmetros alterados. Outra possibilidade a explorar é a de optimizar as bibliotecas de circuitos contendo informação tecnológica das foundries de forma a restringir as mesmas apenas aos dados necessários para cada circuito.
Conhecimentos sobre a utilização do simulador eléctrico Spice e interesse no projecto de circuitos electrónicos.
Ambiente, ferramenta ou conjunto de ferramentas que implementem persistencia num simulador electrico.
Trabalho a efectuar possivelmente em colaboração com uma grande empresa nacional de projecto em Electrónica.
Prof. Luís Miguel Silveira
(lms@inesc-id.pt) Tel: 213100337
IST/INESC-ID, Rua Alves Redol,
9, 1000-029 Lisboa
|
|
Verificação da especificação paramétrica de circuitos eléctricos | Trabalhos Finais de Curso 2004/2005 | Geração Automática de Modelos por Técnicas de Aprendizagem |
|
| ALGOS Homepage | TFCs Main page | 2004-04-29 |