Plano de Estudo: Engenharia
de Sistemas e Inform�tica - �rea de Especializa��o em Tecnologia da
Informa��o
C�digo: 5308O8
Unidade Curricular: Op��o
T II
Programa:
S�ntese de Sistemas Digitais I -
Algoritmos de CAD (Computer Aided Design) para a solu��o de problemas de
Parti��o, de Floorplanning/Placement, Routing, de layout de c�lulas.
Algoritmos de s�ntese e escalonamento.Utiliza��o de ferramentas de CAD/EDA
e sua extens�o �reas para al�m de VLSI. Introdu��o de t�cnicas de
optimiza��o do espa�o de solu��es, nomeadamente Simulated
Anneling e Genetic Algorithms, com
recurso � apresenta��o de exemplos concretos.
Pr�-requisitos:
S�ntese de Sistemas Digitais I �
(Assumem-se conhecimentos b�sicos
de algoritmos, estruturas de dados, programa��o)
Resultados
de Aprendizagem:
(i)
Apreender algoritmos de optimiza��o
em uso na s�ntese autom�tica de sistemas digitais, nomeadamente na
concep��o ao n�vel f�sico. Compreender a formula��o te�rica dos
problemas de Parti��o, Floorplanning,
Routing e Escalonamento.
Analisar casos concretos de t�cnicas que permitem a reformula��o do
problema te�rico de forma a obter solu��es (algoritmos) que executam em
tempo polinomial, e, ou, exibem melhor qualidade. Apreender � com base
em casos concretos � exemplos de heur�sticas utilizadas na obten��o
de solu��es de boa qualidade, mas com reduzido esfor�o computacional.
(ii)
Adquirir capacidade para
caracterizar qualitativamente a complexidade computacional de alguns dos
problemas de s�ntese, e de algoritmos estabelecidos. Reconhecer os
aspectos principais, das metodologias SOC (System
on a Chip) e DFT (Design for
Testability), na concep��o de sistemas. Compreender aspectos
fundamentais da actual metodologia de concep��o autom�tica,
nomeadamente a estreita interdepend�ncia das solu��es de Parti��o, Floorplanning
Routing Global e Routing
Detalhado;
(iii)
Desenvolver capacidades de formula��o
dos problemas de concep��o e optimiza��o em s�ntese autom�tica de
sistemas digitais. Aprender a especificar fun��es de custo para avalia��o
da qualidade das solu��es.
(iv)
Elaborar um trabalho orientado � s�ntese
assistida por computador. Implementando um algoritmo j� existente, com ou
sem a introduzindo de altera��es � conforme os casos � na fun��o
de custo, na parameteriza��o do motor de pesquisa, na t�cnica de
constru��o/gera��o de solu��es, nas heur�sticas.
Bibliografia:
Obrigat�ria ou Opcional: Obrigat�ria(ACSD)
e Opcional
Docente:
Jos�
Augusto Domingues Fernandes Lima
M�todos de Avalia��o:
