DIxxx - Concepção Estruturada de Circuitos Integrados II

Carga: 4 créditos (60 horas)                          Departamento: Informática

Pré requisitos: T39

EmentaApresentação da arquitetura de um microprocessador e de seu conjunto de instruções. Partição dessa arquitetura em blocos e sub-blocos capazes de executar essas instruções. Elaboração de modelos funcionais destes, em linguagem de alto nível, capazes de validar a especificação lógica e gerar vetores de testes. Partição do sistema e blocos complexos em parte controle e data path. Geração do(s) layout(s)interno, DRC e prova formal desse(s) bloco(s). Partição da parte controle (lógica aleatória) em parte seqüencial e combinatória. Elaboração de descrições comportamentais em HDL para ambas as partes, utilizando subconjunto para máquinas de estado finito na descrição da parte seqüencial e data flow na parte combinatória. Simulação e validação lógica dessas descrições. Utilização de ferramentas síntese lógica para otimização boolena e produção de descrições estruturais "mapeáveis" para diferentes tecnologias. Simulação e validação lógica dessas descrições. Utilização de ferramentas de otimização elétrica das net lists geradas. Simulação e validação lógica dessas descrições. Geração de layout roteado para a parte de controle. Prova formal da(s) parte(s) de controle. Produção de um núcleo contendo todos os blocos complexos, roteado automaticamente ou manualmente. Utilização de DRC, comparação de net lists, simulação e validação lógica desse núcleo totalmente roteado. Roteamento do núcleo aos PADS. Extração de net list com nível de hierarquia. Comparação com a net list projetada, simulação e validação lógica do chip. Teste do modelo HDL estrutural final obtido com o conjunto de instruções previsto.

Referências:

Manuais e tutoriais on-line que acompanham os programas de computador (ferramentas)que serão utilizados;

Devido à extrema velocidade de evolução da tecnologia, a cada semestre em que a disciplina for ministrada, será adotada bibliografia adequada, ficando também disponíveis os livros na biblioteca do LASIC-DI.