Ckristian Duran, Hanssel Morales, Camilo Rojas, Annachiara Ruospo, Ernesto Sánchez, Elkim Roa. Simulation and Formal: The Best of Both Domains for Instruction Set Verification of RISC-V Based Processors. In IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020. pages 1-4, IEEE, 2020. [doi]
@inproceedings{DuranMRRSR20,
title = {Simulation and Formal: The Best of Both Domains for Instruction Set Verification of RISC-V Based Processors},
author = {Ckristian Duran and Hanssel Morales and Camilo Rojas and Annachiara Ruospo and Ernesto Sánchez and Elkim Roa},
year = {2020},
doi = {10.1109/ISCAS45731.2020.9180589},
url = {https://doi.org/10.1109/ISCAS45731.2020.9180589},
researchr = {https://researchr.org/publication/DuranMRRSR20},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {IEEE International Symposium on Circuits and Systems, ISCAS 2020, Sevilla, Spain, October 10-21, 2020},
publisher = {IEEE},
isbn = {978-1-7281-3320-1},
}