Doc. Ing. Zdeněk Kotásek, CSc.
| 2010 | Tool for scan chain routability visualisation, analysis and optimization, software, 2010 Authors: Bartoš Pavel, Kotásek Zdeněk |
| 2007 | RTL benchmark circuit generator, software, 2007 Authors: Pečenka Tomáš, Kotásek Zdeněk |
| | Set of tools for RTL circuits testability analysis, software, 2007 Authors: Škarvada Jaroslav, Kotásek Zdeněk |
| | Tools for split RTL circuit into Testable blocks, software, 2007 Authors: Herrman Tomáš, Kotásek Zdeněk |
|