Detail aplikovaného výsledku

Set of tools for RTL circuits testability analysis

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

Original Title

Set of tools for RTL circuits testability analysis

English Title

Set of tools for RTL circuits testability analysis

Type

Software

Abstract

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.

Keywords

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

https://www.fit.vut.cz/research/product/56/