A VMM/FPGA co-verification method for “Longtium Stream” processor | IEEE Conference Publication | IEEE Xplore