Aleksandar Simevski, Rolf Kraemer, Milos Krstic. Platform for automated HW/SW co-verification, testing and simulation of microprocessors. In 13th Latin American Test Workshop, LATW 2012, Quito, Ecuador, April 10-13, 2012. pages 1-5, IEEE Computer Society, 2012. [doi]
Abstract is missing.