Marcela Zachariasova
PersonMarcela Zachariasova is documented in the provided evidence as a co-author of the 2018 arXiv paper "Automation of Processor Verification Using Recurrent Neural Networks".
First seen 5/24/2026
Last seen 5/26/2026
Evidence 3 chunks
Wiki v2
WIKI
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
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsMarcela Zachariasova is listed as an author of the paper.
CITATIONS
5 sources5 citations — click to expand
[1] Marcela Zachariasova is listed in arXiv metadata as an author of "Automation of Processor Verification Using Recurrent Neural Networks". Automation of Processor Verification Using Recurrent Neural Networks
[2] The arXiv page renders the author's name with diacritics as Marcela Zachariásová. Automation of Processor Verification Using Recurrent Neural Networks
[3] The paper was posted online on 2018-03-06 as arXiv:1803.09810. Automation of Processor Verification Using Recurrent Neural Networks
[4] The paper proposes dynamically altering pseudorandom-generator constraints via a recurrent neural network using coverage feedback from simulation of the design under verification. Automation of Processor Verification Using Recurrent Neural Networks
[5] For demonstration, the paper used processors provided by Codasip and reported faster coverage closure plus isolation of a small high-coverage stimulus set for regression tests. Automation of Processor Verification Using Recurrent Neural Networks