| Tidligere kursus: C4361 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4261/C4361 |
| Faglige forudsætninger: 49260 |
| Ønskelige forudsætninger: 49285 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger og 3 øvelseseftermiddage (obligatorisk), samt en række mindre, frivillige øvelser. |
| Evalueringsform:
Bedømmelse af rapp. forudsætter godkendelse af obl.opg. Rapp.aflevering med mundt. fremlæggelse
(13-skala
) |
| Bemærkninger: Tilknyttede tilbud: 49364 og 49365. |
| Kontaktperson: |
Jan Madsen, IT, bygn. 343, tlf. 4525 3751 |
|
| Kursusmål: (1) At give de studerende en generel forståelse for metoderne bag datamatiske værktøjer (CAD) til konstruktion af store integrerede kredsløb, (2) at sætte deltagerne i stand til at forstå/vurdere mulighederne og begrænsningerne i kommercielle CAD værktøjer, (3) at sætte deltagerne i stand til aktivt at deltage i udviklingen af værktøjer. |
Kursusindhold: Kurset gennemgår de grundlæggende metoder til automatiseret design af store digitale kredsløb. Kurset omhandler områderne:
- Introduktion til design automatisering: Design abstraktion, syntese, validering og verifikation.
- Layout syntese: Automatiserede metoder til placering, rutning og udlægning af funktionelle celler.
- Logik syntese: Automatisk optimering af logiske udtryk.
- RTL (Register Transfer Level) syntese: Kontrol og datavejs syntese. Optimering af tilstandsmaskiner.
- Arkitektur syntese: Dataflow grafer, automatiserede metoder til skedulering, allokering og bindning af abstrakte operationer. Optimering af lager (memory).
Hvert område dækkes dels ved at gennemgå de grundlæggende modeller og algoritmer, dels ved at præsentere udvalgte dele af eksisterende værktøjer. |
