Detail aplikovaného výsledku

Set of tools for RTL circuits testability analysis

ŠKARVADA, J.; KOTÁSEK, Z.

Originální název

Set of tools for RTL circuits testability analysis

Anglický název

Set of tools for RTL circuits testability analysis

Druh

Software

Abstrakt

Homepage of the product: http://www.fit.vutbr.cz/~skarvada/ruz/
Developed tools can be used for automatic transformation of digital circuit design written in structural VHDL to formal model that was developed on DCS. It is possible to use them for transparent data paths (I-paths) search, testability analysis, scan chain design. Custom cell libraries can be used.

Abstrakt aglicky

Homepage of the product: http://www.fit.vutbr.cz/~skarvada/ruz/
Developed tools can be used for automatic transformation of digital circuit design written in structural VHDL to formal model that was developed on DCS. It is possible to use them for transparent data paths (I-paths) search, testability analysis, scan chain design. Custom cell libraries can be used.

Klíčová slova

RTL, testability analysis, I-paths search, formal model, scan chain design

Klíčová slova anglicky

RTL, testability analysis, I-paths search, formal model, scan chain design

Umístění

Domácí stránka produktu: http://www.fit.vutbr.cz/~skarvada/ruz/

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www