Jian Shen;Jacob A. Abraham
-;-
An efficient verification method for microprocessors based on the virtual machine
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems