Semináře z číslicového návrhu

Přednášející:

Petr Fišer (gar.), Hana Kubátová (gar.)

Cvičící:

Petr Fišer (gar.), Hana Kubátová (gar.)

Předmět zajišťuje:

katedra číslicového návrhu

Anotace:

Předmět se zabývá problematikou realizace a implementace číslicových obvodů - kombinačních i sekvenčních, s ohledem na moderní návrhové platformy, programovatelné i zákaznické obvody, časování, optimalizaci a verifikaci.

Požadavky:

Znalosti z přemmětů zaměření, oborů o projektování čislicových systémů.

Osnova přednášek:

1.Realizace číslicových obvodů.Vlastnosti technologií s ohledem na časování. Časové modely. Mapování na technologii.

2.Kombinační syntéza. Reprezentace booleovské funkce (BDD, PLA, aj.), vlastnosti. Minimalizace, (bi-dekompozice), algebraické a booleovské metody, exaktní a heuristické SAT metody.

3.Sekvenční obvody. Teorie automatů, ekvivalence, dekompozice, realizace automatů, optimalizace synchronních obvodů.

4.Kombinatorické algoritmy v návrhových systémech (EDA). SAT, problém pokrytí, problém maximální kliky, problém maximálních toků a další problémy klíčové pro EDA a potřebné v probíhajícím výzkumu. Exaktní algoritmy, heuristiky. Dokazování vět.

5.Elektrická úroveň a časování. Signály, šumová imunita, odrazy. El-mag. kompatibilita, přeslechy, rušení na zemním vodiči, napájení, rozvody hodin. Metastabilita. Časová nestabilita (jitter). Analýza synchronních obvodů. Vztahy časových domén, převod signálů mezi doménami.

6.EDA systémy. Struktura, procesy, možné pracovní postupy. Import a export dat. Nestandardní postupy.

7.Verifikace.

8.Kontrola modelu, kontrola ekvivalence. Implicitní a explicitní modely. Jazyk PSL. Aserce, knihovny asercí. Smíšené metody verifikace.

Osnova cvičení:

Cíle studia:

Předmět má rozvíjet praktické a teoretické znalosti z magisterských předmětů zaměření „Projektování číslicových systémů“ s využitím nejnovějších světových trendů v oblasti číslicového návrhu.

Studijní materiály:

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.

Sborníky konferencí o číslicovém návrhu, např. DDECS, DSD-EUROMICRO, ISWBP apod.

Poznámka:

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po
Út
St	místnost TH:A-1030 Fišer P. 12:45–14:15 (přednášková par. 1) Dejvice
Čt
Pá

Předmět je součástí následujících studijních plánů:

• Informatika (VO)