VLSI skupina

Metody formální specifikace a verifikace obvodů VLSI založené na využití jazyků pro popis hardwaru a konceptuálních grafů. Návrh a hodnocení heuristických technik pro řešení vybraných problémů v oblasti návrhu VLSI. Rekonfigurovatelné výpočetní prostředky, obvodové akcelerátory. Společný návrh hardwaru a softwaru. Logický a fyzický návrh obvodů FPGA. Návrh vnořeného procesorového jádra na bázi FPGA. Návrh snadno testovatelných obvodů, vestavěné diagnostické prostředky na obvodové a systémové úrovni. Návrh a modelování systémů odolných proti poruchám.


Video - prezentace VLSI skupiny
Poster VLSI skupiny

Kontakt

Katedra počítačů
Fakulta elektrotechnická
České vysoké učení technické

Karlovo nám. 13
Praha 2
CZ-121 35
Česká republika
Telefon: +420 2 2435 7470
Fax: +420 2 2492 3325



Last modified: 27.9.2005 by Petr Fišer