Fakulta informačních technologií VUT v Brně

Detail předmětu

Pokročilé číslicové systémy

PCS Ak. rok 2018/2019 zimní semestr 5 kreditů

Tento předmět je zaměřen na výuku pokročilých technik pro návrh číslicových obvodů. Nejprve je uveden stručný přehled základních přístupů pro modelování a simulaci obvodů s využitím jazyka VHDL a shrnuty základní vlastnosti cílových technologií jako jsou ASIC a FPGA. Následně jsou popsány pokročilé techniky minimalizace a syntézy číslicových obvodů (pipelining, retiming), které jsou doplněny o aplikaci omezujících podmínek. Hlavní část kurzu je zaměřena na objasnění moderních přístupů k syntéze číslicových systémů. Jsou popsány využívané metody a modely, na kterých jsou následně představeny postupy pro optimalizace na logické úrovni a z pohledu cílové technologie. Představeny jsou také postupy umožňující synergii syntézy a verifikace číslicových obvodů. Uvedená problematika je doplněna o další důležitá témata z této oblasti, jako je např. syntéza obvodů s ohledem na spotřebu a verifikace číslicových obvodů s využitím metodologie OVM.

Garant předmětu

Jazyk výuky

česky

Zakončení

zkouška (písemná)

Rozsah

26 hod. přednášky, 10 hod. pc laboratoře, 16 hod. projekty

Bodové hodnocení

60 zkouška, 18 půlsemestrální test, 10 laboratoře, 12 projekty

Zajišťuje ústav

Přednášející

Cvičící

Získané dovednosti, znalosti a kompetence z předmětu

Studenti jsou schopni navrhnout komplexní číslicový systém optimalizovaný podle různých hledisek s využitím moderních návrhových metod a znají moderní metody pro syntézu a verifikaci takového systému.

Cíle předmětu

Seznámit studenty s pokročilými metodami návrhu komplexních číslicových systémů, s jazyky pro popis hardware, profesionálními vývojovými prostředky, s implementací obvodů na programovatelných logických obvodech a technikami pro optimalizaci návrhu podle různých kritérií.

Požadované prerekvizitní znalosti a dovednosti

Základy návrhu číslicových systémů, základy programování.

Literatura studijní

  • Přednáškové materiály v elektronické formě

Literatura referenční

  • Khatri S. P., Gulati K. (eds.): Advanced Techniques in Logic Synthesis, Optimizations and Applications, ISBN 978-1-4419-7517-1, 2011
  • Rabaey J., Pedram M.: Low Power Design Methodologies, Kluwer, ISBN 0792396308, 1996

Osnova přednášek

  • Přehled tradičních technik, algoritmů a nástrojů pro návrh číslicových obvodů.
  • Přehled technologií pro realizaci číslicových obvodů (ASIC, FPGA).
  • Algoritmy pro minimalizaci číslicových obvodů.
  • Pokročilé techniky syntézy číslicových obvodů (pipelining, retiming)
  • Aplikace omezujících podmínek.
  • Modely a metody pro moderní syntézu číslicových obvodů (AIG, BDD, SAT solvery).
  • Moderní přístupy k syntéze číslicových obvodů (logické optimalizace).
  • Moderní přístupy k syntéze číslicových obvodů (optimalizace pro cílovou technologii).
  • Synergie syntézy a verifikace číslicových obvodů.
  • Návrh číslicových obvodů s ohledem na nízkou spotřebu.
  • Rekonfigurovatelné počítání.
  • Verifikace číslicových obvodů (metodologie OVM).

Osnova ostatní - projekty, práce

  • Individuální projekt zaměřený na syntézu logických obvodů.

Průběžná kontrola studia

Půlsemestrální písemná zkouška a vypracování projektu v předepsaném termínu.

Kontrolovaná výuka

Výuka není povinná, v případě nepřítomnosti v laboratořích lze nahradit ztrátu bodů následujícím způsobem: 
  1. přijít do jiné skupiny, ve které se probírá ta samá laboratorní úloha. 
  2. na následující laboratoři cvičícímu krátce předvést výsledky ze zameškané laboratoře. 
  3. zaslat  cvičícímu do 14 dní zaslat krátký protokol sumarizující výsledky zameškané laboratoře a obsahující odpovědi na otázky ze zadání.

Podmínky zápočtu

Zápočet není ustanoven.

Rozvrh

DenTypTýdnyMístn.OdDoPSKSkupInfo
Útzkouška2019-01-15 E105 09:0010:50 1MIT 2MIT 1. oprava
Útostatní2018-12-18 L304 09:0009:50PCS - obhajoba projektu
Útzkouška2018-12-18 S207 13:0014:50PCS - zkouška
Útzkouška2019-01-08 E105 16:0017:50 1MIT 2MIT řádná
Stostatní2019-01-02 L304 10:0010:50PCS - obhajoba projektu
Stzkouška2019-01-23 A112 12:0013:50 1MIT 2MIT 2. oprava
Stpoč. lab2018-11-14 N204 16:0017:50Počítačová laboratoř PCS
Stpoč. lab2018-11-21 N204 16:0017:50Počítačová laboratoř PCS
Stpoč. lab2018-11-28 N204 16:0017:50Počítačová laboratoř PCS
Stpoč. lab2018-12-05 N204 16:0017:50Počítačová laboratoř PCS
Stpoč. lab2018-12-12 N204 16:0017:50Počítačová laboratoř PCS
Čtostatní2019-01-03 L304 10:0010:50PCS - obhajoba projektu
Čtostatní2019-01-03 L304 12:0012:50PCS - obhajoba projektu
Čtpřednáškavýuky D0207 14:0015:50 1MIT 2MIT MPV xx

Zařazení předmětu ve studijních plánech

Nahoru