Pavel Smrz
PersonPavel Smrz is a listed co-author of the 2018 arXiv paper “Automation of Processor Verification Using Recurrent Neural Networks,” which proposes using recurrent neural networks to dynamically alter pseudorandom-generator constraints for simulation-based processor verification.
First seen 5/24/2026
Last seen 5/26/2026
Evidence 3 chunks
Wiki v2
WIKI
Pavel Smrz
Pavel Smrz is identified in the provided evidence as a co-author of the arXiv paper “Automation of Processor Verification Using Recurrent Neural Networks,” submitted on 2018-03-06 with Martin Fajcik and Marcela Zachariasova.
Technical work
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
1 connectionsPavel Smrz is listed as an author of the paper.
LINKED ENTITIES
3 linksMartin Fajcik coauthor arXiv citation metadata lists Martin Fajcik and Pavel Smrz as authors of the same paper.
Marcela Zachariasova coauthor arXiv citation metadata lists Marcela Zachariasova and Pavel Smrz as authors of the same paper.
Codasip provided_processors_used_in_publication The paper abstract says processors provided by Codasip were used for demonstration purposes.
CITATIONS
5 sources5 citations — click to expand
[1] Pavel Smrz is listed as an author of “Automation of Processor Verification Using Recurrent Neural Networks.” Automation of Processor Verification Using Recurrent Neural Networks
[2] The paper was submitted or made available online on 2018-03-06. Automation of Processor Verification Using Recurrent Neural Networks
[3] The paper proposes dynamically altering pseudorandom-generator constraints using a recurrent neural network that receives coverage feedback from simulation of the design under verification. Automation of Processor Verification Using Recurrent Neural Networks
[4] The work used processors provided by Codasip for demonstration purposes. Automation of Processor Verification Using Recurrent Neural Networks
[5] The abstract reports faster coverage closure and isolation of a small high-coverage stimulus set usable for regression tests. Automation of Processor Verification Using Recurrent Neural Networks