Institutional PortalUFPEL

Objetivo Geral:

Fornecer ao aluno os conceitos básicos sobre as diversas ferramentas de CAD para o projeto de circuitos integrados, bem como fornecer subsídios para que o aluno possa projetar e desenvolver ferramentas de auxílio ao projeto do hardware digital.

1. Metodologias de projeto para circuitos integrados e visão geral sobre as diversas ferramentas de CAD.
2. Algoritmos e estruturas de dados
• Revisão sobre a teoria dos grafos e a complexidade de algoritmos.
• Problemas tratáveis e intratáveis.
• Métodos de propósito geral para otimização combinatória.
3. Algoritmos aplicados as diversas etapas do projeto de circuitos integrados.
• Compactação de leiaute.
• Posicionamento e particionamento.
• Foorplaning.
• Roteamento.
• Simulação.
• Síntese lógica e verificação.
• Síntese de alto nível.

Bibliografia Básica:

• GEREZ, Sabih H. Algorithms for VLSI Design Automation. Editora Wiley. ISBN 9780471984894
• SHERWANI, Naveed A. Algorithms for Vlsi Physical Design Automation. Editora Springer. ISBN 9780792383932
• LIM, Sung Kyu. Practical Problems in VLSI Physical Design Automation. Editora Springer. ISBN 9781402066269

Bibliografia Complementar:

• KAHNG, Andrew B. VLSI Physical Design: From Graph Partitioning to Timing Closure. Editora Springer. ISBN 9789048195909
• SASAO, Tsutomu. Switching Theory for Logic Synthesis. Editora Springer. ISBN 9780792384564
• HASSOUN, Soha. Logic Synthesis and Verification. Editora Springer. ISBN 9780792376064
• SAPATNEKAR, Sachin. Timing. Editora Springer. ISBN 9781441954084
• SUTHERLAND, Ivan. Logical Effort: Designing Fast CMOS Circuits. Editora Morgan Kaufmann. ISBN 9781558605572