Cycle-accurate software modeling for RTL verification of embedded systems

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]

Authors

Michael Schwarz

This author has not been identified. Look up 'Michael Schwarz' in Google

Carlos Villarraga

This author has not been identified. Look up 'Carlos Villarraga' in Google

Dominik Stoffel

This author has not been identified. Look up 'Dominik Stoffel' in Google

Wolfgang Kunz

This author has not been identified. Look up 'Wolfgang Kunz' in Google