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]
Abstract is missing.