Kursplan för Konstruktionsmetodik för elektroniksystem

Kursplan fastställd 2019-02-06 av programansvarig (eller motsvarande).

Kursöversikt

  • Engelskt namnMethods for electronic system design and verification
  • KurskodDAT110
  • Omfattning7,5 Högskolepoäng
  • ÄgareMPEES
  • UtbildningsnivåAvancerad nivå
  • HuvudområdeDatateknik, Elektroteknik
  • InstitutionDATA- OCH INFORMATIONSTEKNIK
  • BetygsskalaTH - Fem, Fyra, Tre, Underkänd

Kurstillfälle 1

  • Undervisningsspråk Engelska
  • Anmälningskod 15112
  • Blockschema
  • Sökbar för utbytesstudenterJa

Poängfördelning

0107 Inlämningsuppgift 7,5 hp
Betygsskala: TH		0 hp7,5 hp0 hp0 hp0 hp0 hp

I program

Examinator

Gå till kurshemsidan (Öppnas i ny flik)

Behörighet

Information saknas

Särskild behörighet

För kurser på avancerad nivå gäller samma grundläggande och särskilda behörighetskrav som till det kursägande programmet. (När kursen är på avancerad nivå men ägs av ett grundnivåprogram gäller dock tillträdeskrav för avancerad nivå.)
Undantag från tillträdeskraven: Sökande med en programregistrering på ett program där kursen ingår i programplanen undantas från ovan krav.

Kursspecifika förkunskaper

Introduktion till elektroniksystemkonstruktion (DAT093).

Syfte

Mot bakgrund av det faktum att man kan integrera miljarder transistorer på en enda integrerad krets tvingas konstruktörer av elektroniksystem att använda sig av datorstöd, så kallade Electronic Design Automation (EDA)-verktyg, för att hantera komplexiteten hos konstruktionerna och för att klara av strikta systembudgetar för, till exempel, timing, effektutveckling och konstruktionstid. Bortsett från att ha kunskaper inom enskilda abstraktionsnivåer som krets-, logik- och arkitekturkonstruktion måste därför systemkonstruktören även ha en grundlig förståelse för konstruktions- och verifieringsmetoder som spänner över de olika abstraktionsnivåerna och för de algoritmer som är centrala för EDA-verktygen.

Syftet med denna kurs är att stärka studentens kunskaper i metoder för EDA-baserad konstruktion och verifiering, och att göra studenten förtrogen med att använda rätt EDA-verktyg, i rätt sammanhang och i rätt ordning.

Lärandemål (efter fullgjord kurs ska studenten kunna)

1. beskriva algoritmiska principer för ett antal viktiga EDA-koncept, som beteende- och logiksyntes, logiksimulering, statisk timinganalys, 'timing closure' och effektanalys
2. beskriva moderna EDA-baserade konstruktionsflöden och deras fundamentala svagheter och styrkor
3. använda Linux-baserade EDA-verktyg, inklusive enkla 'shell scripts' (kommandofiler), för konstruktion och verifiering av digitala elektroniksystem
4. genomföra fördröjningsdriven ('timing-driven') syntes and effektanalys för digitala kretsar
5. kritiskt och systematiskt integrera kunskap för att kunna modellera, simulera, och utvärdera egenskaper relevanta för konstruktionsflöden för digitala ASICs
6. på ett tydligt sätt kommunicera sina slutsatser från konstruktionsövningarna och från fördjupningsstudierna ('term paper'), också redovisande bakomliggande fakta och gjorda val.


Innehåll

Föreläsningsserien speglar kursen i stort och innehåller följande:
 - Terminologi för och struktur hos EDA-system.
 - Konstruktion av elektroniksystem uppbyggda av mjuk- och hårdvara.
 - Funktionell verifiering.
 - Beteende- och logiksyntes.
 - Timinganalys.
 - Effekt- och energianalys.
 - Variabilitet.
 - Fysisk konstruktion.
 - Konstruktion för test och tillverkningsbarhet.
 - Diskret matematik och optimering relevant för EDA.
 - 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 inom fördjupningsstudien.

Organisation

Kursen är uppbyggd kring tre olika pedagogiska delar:

Föreläsningar: dessa ger ett kontext till konstruktionsövningarna och fördjupningsstudierna.
Konstruktionsövningar: dessa ger en omfattande praktisk träning i att använda avancerade, industriella EDA-verktyg för att genomföra konstruktion och verifiering.
Fördjupningsstudie ('term paper'): detta ger en fördjupning inom avancerad, relevant teknik samt träning på att läsa forskningsartiklar och skriva teknisk text.

Litteratur

Referensbok: Electronic Design Automation for Integrated Circuits Handbook - 2 Volume Set, av L. Lavagno, G. Martin, och L. Scheffer, CRC Press, 2006, ISBN 9780849330964. (Denna utgåva finns tillgänglig som e-bok inom Chalmers.)

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.

Forskningsartiklar för fördjupningsstudien.

Examination inklusive obligatoriska moment

Examinationen består av två delar:

Konstruktionsövningar, inklusive syntes och place-and-route för ASICs: 60% av kursens betyg bestäms av förberedelser, VHDL-inlämning och laborationsrapport.
Fördjupningsstudie (i grupper om 3 studenter) inom valt område, inklusive en rapport ('term paper') och en muntlig presentation: 40% av kursens betyg bestäms av rapporten och den muntliga presentationen.