Marcela Simková

According to our database, Marcela Simková authored at least 8 papers between 2011 and 2015.

Collaborative distances:

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

2015

Automation and Optimization of Coverage-driven Verification.

Marcela Simková, Zdenek Kotásek

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

FPGA Prototyping and Accelerated Verification of ASIPs.

Jakub Podivinsky, Marcela Simková, Ondrej Cekan, Zdenek Kotásek

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

Application of Evolutionary Algorithms for Regression Suites Optimization.

Michaela Beleova, Zdenek Kotásek, Marcela Simková, Toma Hruka

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications.

Jakub Podivinsky, Ondrej Cekan, Marcela Simková, Zdenek Kotásek

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Automated Functional Verification of Application Specific Instruction-set Processors.

Marcela Simková, Zdenek Prikryl, Zdenek Kotásek, Tomas Hruska

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Analysis and comparison of functional verification and ATPG for testing design reliability.

Marcela Simková, Zdenek Kotásek, Cristiana Bolchini

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

2012

Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures.

Marcela Simková, Ondrej Lengál

Proceedings of the Hardware and Software: Verification and Testing, 2012

2011

HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware.

Marcela Simková, Ondrej Lengál, Michal Kajan

Proceedings of the Hardware and Software: Verification and Testing, 2011