Marcela Zachariasova

Marcela Zachariasova is identified in arXiv metadata as a co-author of the paper "Automation of Processor Verification Using Recurrent Neural Networks", posted online on 2018-03-06 as arXiv:1803.09810v1. The same arXiv page also renders the name with diacritics as Marcela Zachariásová.

Documented work

The provided evidence documents Zachariasova's authorship of "Automation of Processor Verification Using Recurrent Neural Networks", alongside Martin Fajcik and Pavel Smrz. The paper addresses simulation-based processor verification, where pseudorandom generators produce stimuli and achieved functional coverage is monitored to assess verification completeness.

According to the arXiv abstract, the paper proposes using a recurrent neural network to dynamically alter pseudorandom-generator constraints based on coverage feedback from simulation of the design under verification. For demonstration, the authors used processors provided by Codasip. The reported experimental results state that coverage closure was reached sooner and that the method could isolate a small high-coverage stimulus set for regression testing.

Evidence status

Only authorship and paper-level technical details are supported by the provided evidence. No independently sourced biographical details, institutional affiliation, employment history, education, or additional publications were provided.