RT DF A1 Xing, Yue.Electrical and Computer Engineering. T1 Enabling SoC Verification Through Instruction-Level Hardware Models- [electronic resource]