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 |
Complex control system for testing fault-tolerance methodologies J Podivinsky, M Simkova, Z Kotasek Proceedings of The Third Workshop on Manufacturable and Dependable Multicore …, 2014 | 9 | 2014 |
Automated functional verification of application specific instruction-set processors M Šimková, Z Přikryl, Z Kotásek, T Hruška Embedded Systems: Design, Analysis and Verification: 4th IFIP TC 10 …, 2013 | 9 | 2013 |
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware M Simkova, O Lengal, M Kajan | 9* | |
Universal pseudo-random generation of assembler codes for processors O Cekan, M Simkova, Z Kotasek Proceedings of The 4th Workshop on Manufacturable and Dependable Multicore …, 2015 | 6 | 2015 |
Towards beneficial hardware acceleration in haven: evaluation of testbed architectures M Šimková, O Lengál Haifa Verification Conference, 266-273, 2012 | 5 | 2012 |
Rehabilitace ramenního kloubu po aloplastice D Pokorný, A Sosna, D Jahoda, J Pech, M Šimková, M Szekeresová Acta Chir orthop Traum čech 67, 280-290, 2000 | 5 | 2000 |
Analysis and comparison of functional verification and ATPG for testing design reliability M Šimková, Z Kotásek, C Bolchini 2013 IEEE 16th International Symposium on Design and Diagnostics of …, 2013 | 3 | 2013 |
Four-Corner Arthrodesis of the Wrist with Dorsal Circular Plate-a Retrospective Monocentric Study T Zatrapa, D Veigl, J Pech, I Landor, M Šimková Acta Chirurgiae Orthopaedicae et Traumatologiae Cechoslovaca 84 (3), 189-195, 2017 | 2 | 2017 |
Acceleration of functional verification in the development cycle of hardware systems M Šimková Pocıtacové architektury a diagnostika, PAD, 73-78, 2012 | 2 | 2012 |
Hardware Accelerated Functional Verification: Framework for FPGA-Accelerated Functional Verification M Simkov LAP Lambert Academic Publishing, 2011 | 2 | 2011 |
Analýza výkonnosti Pekařství Králík pomocí časových řad M ŠIMKOVÁ Brno: Vysoké učení technické v Brně, Fakulta podnikatelská, 2010 | 1 | 2010 |
Čtyřrohá déza karpu pomocí dorzální cirkulární dlahy-retrospektivní monocentrická studie T ZATRAPA, D VEIGL, J PECH, I LANDOR, M ŠIMKOVÁ ACHOT 84 (3), 189-195, 2017 | | 2017 |
Verifikace číslicových obvodů M Šimková, M Kajan | | 2012 |
Návrh informačního systému prodejny potravin M Šimková | | 1992 |
VHDL NÁVRH ŘÍDICÍ JEDNOTKY ROBOTA URČENÉHO PRO SAMOČINNÝ POHYB V BLUDIŠTI PBJ PODIVÍNSKÝ, M ŠIMKOVÁ | | |
BAKALÁŘSKÁ PRÁCE BACHELOR THESIS PV Jeniš, M Šimková | | |
FUNKˇCNÍ VERIFIKACE ROBOTICKÉHO SYSTÉMU POMOCÍ UVM K PRÁCE Bc STANISLAV, M ŠIMKOVÁ | | |
Radiation Impact on Mechanical Application Driven by FPGA-based Controller J Podivinsky, M Simkova, Z Kotasek | | |
Verification of Fault-tolerant Methodologies for FPGA systems M Šimková, J Kaštil | | |