Maxiwell Garcia, Emilio Francesquini, Rodolfo Azevedo, Sandro Rigo. HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators. Embedded Systems Letters, 9(2):25-28, 2017. [doi]
@article{GarciaFAR17,
title = {HybridVerifier: A Cross-Platform Verification Framework for Instruction Set Simulators},
author = {Maxiwell Garcia and Emilio Francesquini and Rodolfo Azevedo and Sandro Rigo},
year = {2017},
doi = {10.1109/LES.2016.2626980},
url = {https://doi.org/10.1109/LES.2016.2626980},
researchr = {https://researchr.org/publication/GarciaFAR17},
cites = {0},
citedby = {0},
journal = {Embedded Systems Letters},
volume = {9},
number = {2},
pages = {25-28},
}