beskriva algoritmiska principer för ett antal viktiga EDA-koncept, som beteende- och logiksyntes, logiksimulering, statisk timinganalys, 'timing closure' och effektanalys
beskriva moderna EDA-baserade konstruktionsflöden och deras fundamentala svagheter och styrkor
använda Linux-baserade EDA-verktyg, inklusive enkla 'shell scripts' (kommandofiler), för konstruktion och verifiering av digitala elektroniksystem
genomföra fördröjningsdriven ('timing-driven') syntes and effektanalys för digitala kretsar
kritiskt och systematiskt integrera kunskap för att kunna modellera, simulera, och utvärdera egenskaper relevanta för konstruktionsflöden för digitala ASICs
skriva en teknisk rapport med introduktion, bakgrund, genomförande, resultat och slutsats, med datakommentering och referenshantering
Kursinnehåll
Föreläsningsserien speglar kursen i stort och innehåller följande:
Terminologi för och struktur hos EDA-system.
Funktionell verifiering.
Beteende- och logiksyntes.
Timinganalys.
Effekt- och energianalys.
Variabilitet.
Fysisk konstruktion.
Konstruktion för test och tillverkningsbarhet.
Teknisk rapportskrivning.
Utöver föreläsningen kring teknisk rapportskrivning innehåller kursen också en skrivarworkshop där studenterna får utveckla sitt skrivande genom att granska och kommentera varandras utkast på laborationsrapport.
Förutsättningar
Grundläggande behörighet för avancerad nivå
Litteratur
Electronic Design Automation for Integrated Circuits Handbook, 2nd Edition, av L. Lavagno, I. L. Markov, G. E. Martin, och L. K. Scheffer, CRC Press, 2016, ISBN 9781482254501.