Rapid Prototyping and Compact Testing of CPU Emulators Conference Paper

abstract

• In this paper, we propose a novel rapid prototyping technique to produce a high quality CPU emulator at reduced development cost. Specification mining from published CPU manuals, automated code generation of both the emulator and its test vectors from the mined CPU specifications, and a hardware-oracle based test strategy all work together to close the gaps between specification analysis, development and testing. The hardware-oracle is a program which allows controlled execution of one or more instructions on the CPU, so that its outputs can be compared to that of the emulator. The hardware-oracle eliminates any guesswork about the true behavior of an actual CPU, and it helps in the identification of several discrepancies between the published specifications vs. the actual processor behavior, which would be very hard to detect otherwise. 2010 IEEE.

name of conference

• Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping

authors

• Liu, Jyh

published proceedings

• Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping

author list (cited authors)

• Ma, W., Forin, A., & Liu, J.

citation count

• 4

complete list of authors

• Ma, Weiqin||Forin, Alessandro||Liu, Jyh-Charn

publication date

• January 2010

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• Proceedings of the International Workshop on Rapid System Prototyping  Journal

Digital Object Identifier (DOI)

• 10.1109/rsp.2010.5656339

International Standard Book Number (ISBN) 13

• 9781424470747

start page

• 1

end page

• 7

URL

• http%3A%2F%2Fdx.doi.org%2F10.1109%2Frsp.2010.5656339