Marcela Simková

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 4

Top Topics

Functional Verification

Hardware Architectures

Failure Recovery

Regression Algorithm

Top Venues

Microprocess. Microsystems

Publications

Jakub Podivinsky, Ondrej Cekan, Marcela Simková, Zdenek Kotásek
The evaluation platform for testing fault-tolerance methodologies in electro-mechanical applications. Microprocess. Microsystems 39 (8) (2015)
Jakub Podivinsky, Marcela Simková, Ondrej Cekan, Zdenek Kotásek
FPGA Prototyping and Accelerated Verification of ASIPs. DDECS (2015)
Michaela Beleova, Zdenek Kotásek, Marcela Simková, Toma Hruka
Application of Evolutionary Algorithms for Regression Suites Optimization. DDECS (2015)
Marcela Simková, Zdenek Kotásek
Automation and Optimization of Coverage-driven Verification. DSD (2015)
Jakub Podivinsky, Ondrej Cekan, Marcela Simková, Zdenek Kotásek
The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications. DSD (2014)
Marcela Simková, Zdenek Prikryl, Zdenek Kotásek, Tomas Hruska
Automated Functional Verification of Application Specific Instruction-set Processors. IESS (2013)
Marcela Simková, Zdenek Kotásek, Cristiana Bolchini
Analysis and comparison of functional verification and ATPG for testing design reliability. DDECS (2013)
Marcela Simková, Ondrej Lengál
Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. Haifa Verification Conference (2012)
Marcela Simková, Ondrej Lengál, Michal Kajan
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. Haifa Verification Conference (2011)