Michael Schwarz, Carlos Villarraga, Dominik Stoffel, Wolfgang Kunz. Cycle-accurate software modeling for RTL verification of embedded systems. In Manfred Dietrich, Ondrej Novák, editors, 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2017, Dresden, Germany, April 19-21, 2017. pages 103-108, IEEE, 2017. [doi]
@inproceedings{SchwarzVSK17,
title = {Cycle-accurate software modeling for RTL verification of embedded systems},
author = {Michael Schwarz and Carlos Villarraga and Dominik Stoffel and Wolfgang Kunz},
year = {2017},
doi = {10.1109/DDECS.2017.7934571},
url = {https://doi.org/10.1109/DDECS.2017.7934571},
researchr = {https://researchr.org/publication/SchwarzVSK17},
cites = {0},
citedby = {0},
pages = {103-108},
booktitle = {20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2017, Dresden, Germany, April 19-21, 2017},
editor = {Manfred Dietrich and Ondrej Novák},
publisher = {IEEE},
isbn = {978-1-5386-0472-4},
}