Dependable Digital Systems Research Group

2015

GPDRC: Generic partial dynamic reconfiguration controller, software
Authors: Straka Martin, Kaštil Jan

Tools enabling to develop fault tolerant architectures and checkers from VHDL, software
Authors: Straka Martin

2013

intMAN: Priority-Driven Load-Adaptive Monitoring-Based Hardware for Managing Interrupts in Embedded Event-Triggered Real-Time Systems, prototype
Authors: Strnadel Josef, Šimek Václav

2008

TASTE: Testability Analysis SuiTE, software
Authors: Strnadel Josef

2007

RTL benchmark circuit generator, software
Authors: Pečenka Tomáš, Kotásek Zdeněk

Set of tools for RTL circuits testability analysis, software
Authors: Škarvada Jaroslav, Kotásek Zdeněk

Tools for split RTL circuit into Testable blocks, software
Authors: Herrman Tomáš, Kotásek Zdeněk