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.
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
Pracoviště
Nahoru