Přístupnostní navigace
E-application
Search Search Close
Product detail
ŠKARVADA, J. KOTÁSEK, Z.
Product 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.
Keywords
RTL, testability analysis, I-paths search, formal model, scan chain design
Create date
13. 2. 2007
Location
Domácí stránka produktu: http://www.fit.vutbr.cz/~skarvada/ruz/
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www
https://www.fit.vut.cz/research/product/56/