software

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.

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

13. 2. 2007

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

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

Poskytovatel licence na výsledek nepožaduje licenční poplatek

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