Předmět je základní jednotka výuky, jejímž prostřednictvím si student osvojí ucelenou část souboru znalostí a dovedností, potřebnou pro zvládnutí studijního oboru/specializace. Za věcný obsah předmětu zodpovídá garant předmětu. Časovou náročnost předmětu zhruba vyjadřuje atribut předmětu rozsah kontaktní výuky. Například rozsah = 2+2 značí, že předmět bude mít týdně dvě hodiny přednášek a dvě hodiny cvičení týdně. Na závěr semestru musí vyučující provést vyhodnocení, nakolik si ten který student osvojil poznatky a dovednosti, kterých měl během výuky nabýt. Jakým způsobem toto hodnocení vyučující provedou určuje atribut způsob zakončení. U předmětu lze definovat, že předmět je zakončen pouze zápočtem(Z), klasifikovaným zápočtem(KZ), pouze zkouškou(ZK), nebo zápočtem a zkouškou(Z,ZK). Náročnost úspěšného absolvování předmětu je vyjádřena ECTS kreditními body. Výuka předmětu probíhá během semestru. Opakovaně se předmět vyučuje vždy v zimním(Z), nebo v letním(L) semestru každého akademického roku. Výjimečně může předmět být nabízen studentům v obou semestrech(Z,L). Za organizační zajištění výuky zodpovídá přiřazená katedra, která zejména vytvoří časový rozvrh předmětu a zajistí pro předmět vyučující. Někteří přednáší a zkouší, jiní vedou cvičení a udělují zápočty.
Obsahová náplň a další organizační informace, týkající se předmětu je popsána pomocí různých popisných textů(anotace, týdenní osnova, literatura, apod.)
$DODATEK_POPIS
PI-SCN | Semináře z číslicového návrhu | Rozsah kontaktní výuky: | 2P+1C | ||
---|---|---|---|---|---|
Vyučující: | Fišer P. | Způsob zakončení: | ZK | ||
Zodpovědná katedra: | 18103 | ECTS Kredity: | 4 | Semestr: | Z,L |
Anotace:
Předmět se zabývá problematikou realizace a implementace číslicových obvodů - kombinačních i sekvenčních. Rozebírá základní způsoby popisu číslicových obvodů a základní algoritmy logické syntézy a optimalizace. Seznamuje se základy EDA (Electronic Design Automation) systémů a s kombinatorickými problémy objevujícími se v EDA.
Osnovy přednášek:
1. | Reprezentace logických funkcí | |
2. | Binární rozhodovací diagramy, struktury odvozené z BDD | |
3. | Další reprezentace logických funkcí a obvodů | |
4. | Dvouúrovňová minimalizace | |
5. | Víceúrovňová logická syntéza, dekompozice - algebraické metody | |
6. | Víceúrovňová logická syntéza, dekompozice - booleovské metody | |
7. | Využití neurčených hodnot ve víceúrovňové syntéze a optimalizaci | |
8. | Syntéza sekvenčních obvodů. Teorie automatů, ekvivalence, dekompozice, realizace automatů, optimalizace synchronních obvodů | |
9. | Asynchronní obvody | |
10. | Mapování na technologii, časové modely | |
11. | Současná logická syntéza: ABC | |
12. | Kombinatorické problémy v návrhových systémech (EDA) |
Osnovy cvičení:
1. | Binární rozhodovací diagramy | |
2. | Dvouúrovňový popis logických funkcí. Práce s Espressem | |
3. | Víceúrovňový popis. BLIF. Práce s nástrojem pro logickou syntézu a optimalizaci SIS | |
4. | Práce s nástrojem pro logickou syntézu a optimalizaci ABC | |
5. | SAT problém, SAT řešiče. Převod obvod-SAT | |
6. | Kontrola ekvivalence |
Literatura:
G. | D. Hachtel, F. Somenzi: "Logic Synthesis and Verification Algorithms", Kluwer Academic Pub, 1996, 564 p. | |
S. | Hassoun, T. Sasao, "Logic Synthesis and Verification", Boston, MA, Kluwer Academic Publishers, 2002, 454 p. |
Požadavky:
Znalosti z předmětů zaměření Projektování číslicových systémů nebo Návrh a programování vestavných systémů.
|
Předmět je zahrnut do těchto studijních plánů:
Stránka vytvořena 26. 4. 2024, semestry: Z/2021-2, L/2019-20, Z/2022-3, Z/2023-4, L/2021-2, Z,L/2020-1, L/2022-3, L/2023-4, Z/2024-5, Z/2019-20, připomínky k informační náplni zasílejte správci studijních plánů | Návrh a realizace: J. Novák, I. Halaška |