An efficient retargetable framework for instruction-set simulation | IEEE Conference Publication | IEEE Xplore