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
vyžadována - zdarma
Autoři
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í
Licence
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
Soubory
Projekty
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)
Výzkumné skupiny
Výzkumná skupina Spolehlivé systémy (VZ DEPSYS)
Pracoviště
Ústav počítačových systémů FIT VUT v Brně (UPSY FIT VUT)