System verifacation based on VMM and SOPC | IEEE Conference Publication | IEEE Xplore