Doc. Ing. Zdeněk Kotásek, CSc.

Sada nástrojů pro analýzu testovatelnosti obvodů na úrovni RTL

Autoři:Škarvada Jaroslav, Kotásek Zdeněk
Typ:software
Vznik:2007
Licence:vyžadována - zdarma
Klíčová slova:RTL, analýza testovatelnosti, vyhledávání I-cest, formální model, návrh řetězce scan
Popis:
Domácí stránka produktu: http://www.fit.vutbr.cz/~skarvada/ruz/
Vytvořené nástroje umožňují automatický převod návrhu obvodu zapsaného pomocí strukturálního VHDL na formální model vyvinutý na UPSY. Lze je použít pro nalezení transparentních datových cest (I-cest), analýzu testovatelnosti, návrh řetězce scan. Je možné využít vlastní knihovny prvků.
Umístění:
Domácí stránka produktu: http://www.fit.vutbr.cz/~skarvada/ruz/
Výzkumné skupiny:
Pracoviště:
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

Vaše IPv4 adresa: 18.206.13.39
Přepnout na https