Metody a postupy číslicového návrhu a jejich experimentální ověření
Program
Studentská grantová soutěž ČVUT
Pracoviště
Řešitelé
Kód
SGS12/094/OHK3/1T/18
Období
2012
Popis
Projekt je zaměřen na návrh a číslicových obvodů s ohledem na jejich velikost, rychlost, spotřebu, spolehlivost a testovatelnost. Pilotní implementace bude realizována na programovatelných hradlových polích (FPGA). Vysoké spolehlivosti chceme dosáhnout vhodným zálohováním a efektivním využitím dynamické rekonfigurace. Předpokládáme vylepšení metodiky generování komprimovaného testu, pomocí překrývání testovacích vektorů, využívající jejich implicitní reprezentace ke zvýšení efektivity testování.
Návrh spolehlivých systémů na bázi programovatelných obvodů
Program
Studentská grantová soutěž ČVUT
Pracoviště
Řešitelé
Kód
SGS10/118/OHK3/1T/18
Období
2010
Popis
Projekt je zaměřen na návrh spolehlivých obvodů implementovaných na programovatelných hradlových polích (FPGA) a jejich testování. Vysoké spolehlivosti chceme dosáhnout efektivním využitím dynamické rekonfigurace. Pro zlepšení testovatelnosti obvodů bude navržena metodika dekompozice obvodu.
Zároveň bude vylepšena současná metodika generování komprimovaného testu, pomocí překrývání testovacích vektorů, využívající jejich implicitní reprezentace ke zvýšení efektivity testování. Zároveň bude kladen důraz na celkovou velikost obvodů s cílem minimalizovat hardwarový overhead. Výsledná architektura a navržené metody budou vyzkoušeny a experimentálně ověřeny na FPGA.
Nové modely spolehlivosti a nové metody pro výpočet spolehlivostních ukazatelů
Program
Studentská grantová soutěž ČVUT
Pracoviště
Řešitelé
Kód
SGS11/093/OHK3/1T/18
Období
2011
Popis
Výzkumné projekty skupiny Digital Design and Dependability jsou zaměřeny na návrh spolehlivých obvodů implementovaných na programovatelných hradlových polích (FPGA) a jejich testování. Vysoké spolehlivosti chceme dosáhnout efektivním využitím dynamické rekonfigurace. Pro zlepšení testovatelnosti obvodů bude navržena metodika dekompozice obvodu.
Spolehlivostní modely jsou nutnou součástí výzkumu spolehlivých obvodů, protože umožňují ověřit, zda a jak navrhované metody ovlivňují spolehlivostní ukazatele. Důraz bude kladen na přehlednost modelů, možnost snadného rozšíření a snadnou modifikaci. Výsledné modely budou použity i pro praktické výpočty spolehlivostních parametrů v drážních aplikacích.