Product Details

Set of tools for RTL circuits testability analysis

Created: 2007

Czech title
Sada nástrojů pro analýzu testovatelnosti obvodů na úrovni RTL
Type
software
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Authors
Škarvada Jaroslav, Ing., Ph.D.
Kotásek Zdeněk, doc. Ing., CSc.
Keywords

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

Description

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.

Location

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

License Conditions

This product is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version, see http://www.fsf.org/licensing/licenses/gpl.html

Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Research groups
Dependable Digital Systems Research Group (RG DEPSYS)
Departments
Department of Computer Systems (DCSY)
Back to top