Detail produktu
Tools for split RTL circuit into Testable blocks
Vznik: 2007
Název česky
Nástroje pro rozdělení obvodu na RT úrovni na Testovatelné bloky
Typ
software
Licence
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licenční poplatek
Poskytovatel licence na výsledek nepožaduje licenční poplatek
Autoři
Herrman Tomáš, Ing., Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
Kotásek Zdeněk, doc. Ing., CSc.
Klíčová slova
RTL, analýza testovatelnosti, formální model, návrh řetězce scan, testovatelný blok
Popis
Vytvořené nástroje umožňují rozdělení obvodu, reprezentovaného formálním modelem vyvinutém na UPSY, na Testovatelné bloky a navrhnout tak řetězec SCAN. Výstupem jsou jednotlivé bloky zapsané ve verilogu.
Umístění
Licenční podmínky
Tento produkt je volně šířitelný software: je možné jej dále distribuovat a/nebo modifikovat při dodržení podmínek GNU GPL publikovaných Free Software Foundation, buď ve verzi 3 nebo (dle vašeho úsudku) libovolné vyšší verzi, viz http://www.fsf.org/licensing/licenses/gpl.html
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, řešení
Výzkumné skupiny
Výzkumná skupina Spolehlivé číslicové systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů
(UPSY)