SEU simulation framework for Xilinx FPGA: First step towards testing fault tolerant systems M Straka, J Kastil, Z Kotasek 2011 14th Euromicro Conference on Digital System Design, 223-230, 2011 | 67 | 2011 |
Polymorphic gates in design and test of digital circuits L Sekanina, L Starecek, Z Kotasek, Z Gajda Int. J. Unconv. Comput. 4 (2), 125-142, 2008 | 52 | 2008 |
Fault tolerant system design and SEU injection based testing M Straka, J Kastil, Z Kotasek, L Miculka Microprocessors and Microsystems 37 (2), 155-173, 2013 | 51 | 2013 |
Fault tolerant structure for sram-based fpga via partial dynamic reconfiguration M Straka, J Kastil, Z Kotasek 2010 13th Euromicro Conference on Digital System Design: Architectures …, 2010 | 32 | 2010 |
Generic partial dynamic reconfiguration controller for fault tolerant designs based on FPGA M Straka, J Kastil, Z Kotasek NORCHIP 2010, 1-4, 2010 | 31 | 2010 |
Automatic discovery of RTL benchmark circuits with predefined testability properties T Pecenka, Z Kotásek, L Sekanina, J Strnadel 2005 NASA/DoD Conference on Evolvable Hardware (EH'05), 51-58, 2005 | 28 | 2005 |
Modern fault tolerant architectures based on partial dynamic reconfiguration in fpgas M Straka, J Kastil, Z Kotasek 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and …, 2010 | 26 | 2010 |
Evolution of synthetic RTL benchmark circuits with predefined testability T Pecenka, L Sekanina, Z Kotasek ACM Transactions on Design Automation of Electronic Systems (TODAES) 13 (3 …, 2008 | 25 | 2008 |
Evolution of multifunctional combinational modules controlled by the power supply voltage L Sekanina, L Starecek, Z Gajda, Z Kotasek First NASA/ESA Conference on Adaptive Hardware and Systems (AHS'06), 186-193, 2006 | 24 | 2006 |
Functional verification based platform for evaluating fault tolerance properties J Podivinsky, O Cekan, J Lojda, M Zachariasova, M Krcma, Z Kotasek Microprocessors and Microsystems 52, 145-159, 2017 | 20 | 2017 |
The evaluation platform for testing fault-tolerance methodologies in electro-mechanical applications J Podivinsky, O Cekan, M Simkova, Z Kotasek Microprocessors and Microsystems 39 (8), 1215-1230, 2015 | 20 | 2015 |
Digital systems architectures based on on-line checkers M Straka, Z Kotasek, J Winter 2008 11th EUROMICRO Conference on Digital System Design Architectures …, 2008 | 20 | 2008 |
Dependability analysis of fault tolerant systems based on partial dynamic reconfiguration implemented into FPGA J Kastil, M Straka, L Miculka, Z Kotasek 2012 15th Euromicro Conference on Digital System Design, 250-257, 2012 | 18 | 2012 |
Automation and optimization of coverage-driven verification Z Kotasek 2015 Euromicro Conference on Digital System Design, 87-94, 2015 | 17 | 2015 |
Checker design for on-line testing of Xilinx FPGA communication protocols M Straka, J Tobola, Z Kotasek 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI …, 2007 | 16 | 2007 |
High availability fault tolerant architectures implemented into fpgas M Straka, Z Kotasek 2009 12th Euromicro Conference on Digital System Design, Architectures …, 2009 | 15 | 2009 |
Reduction of test vectors volume by means of gate-level reconfiguration L Starecek, L Sekanina, Z Kotasek 2008 11th IEEE Workshop on Design and Diagnostics of Electronic Circuits and …, 2008 | 15 | 2008 |
Testability improvements based on the combination of analytical and evolutionary approaches at RT level J Strnadel, Z Kotásek Proceedings Euromicro Symposium on Digital System Design. Architectures …, 2002 | 15 | 2002 |
Interactive tool for behavioral level testability analysis J Hlavička, Z Kotásek, R Růžička, J Strnadel Proceedings of the IEEE ETW, 117-119, 2001 | 15 | 2001 |
Generic partial dynamic reconfiguration controller for transient and permanent fault mitigation in fault tolerant systems implemented into fpga L Miculka, Z Kotasek 17th International Symposium on Design and Diagnostics of Electronic …, 2014 | 14 | 2014 |