Marcela Zachariásová

According to our database, Marcela Zachariásová authored at least 8 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

Embedded Tutorial: AI Vs. Verification Engineer: Fight or Synergy?

Marcela Zachariásová

Proceedings of the 29th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2026

2025

VerTrace: An Open-Source Toolchain for Portable Stimulus Vertical Reuse.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 32nd IEEE International Conference on Electronics, Circuits and Systems, 2025

Leveraging Design Static Analysis for Vertical Reuse in Functional Verification.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 28th Euromicro Conference on Digital System Design, 2025

2020

Using Control Logic Drivers for Automated Generation of System-level Portable Models.

Petr Bardonek, Marcela Zachariásová

Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2017

Functional verification based platform for evaluating fault tolerance properties.

Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Marcela Zachariásová, Martin Krcma, Zdenek Kotásek

Microprocess. Microsystems, 2017

Automation of Processor Verification Using Recurrent Neural Networks.

Martin Fajcik, Pavel Smrz, Marcela Zachariásová

Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

2016

Regression Test Suites Optimization for Application-specific Instruction-Set Processors and Their Use for Dependability Analysis.

Marcela Zachariásová, Michaela Kekelyova-Beleova, Zdenek Kotásek

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

Metody akcelerace verifikace logických obvodů ; New Methods for Increasing Efficiency and Speed of Functional Verification.

Marcela Zachariásová

PhD thesis, 2015