Martin Fajcik, Pavel Smrz, Marcela Zachariásová. Automation of Processor Verification Using Recurrent Neural Networks. In 18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017. pages 15-20, IEEE Computer Society, 2017. [doi]
@inproceedings{FajcikSZ17,
title = {Automation of Processor Verification Using Recurrent Neural Networks},
author = {Martin Fajcik and Pavel Smrz and Marcela Zachariásová},
year = {2017},
doi = {10.1109/MTV.2017.15},
url = {http://doi.ieeecomputersociety.org/10.1109/MTV.2017.15},
researchr = {https://researchr.org/publication/FajcikSZ17},
cites = {0},
citedby = {0},
pages = {15-20},
booktitle = {18th International Workshop on Microprocessor and SOC Test and Verification, MTV 2017, Austin, TX, USA, December 11-12, 2017},
publisher = {IEEE Computer Society},
isbn = {978-1-5386-3351-9},
}