An Ultrasynchronization Checking Method With Trace-Driven Simulation for Fast and Accurate MPSoC Virtual Platform Simulation IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2013 2013 作者:Yu-Fu Yeh, Hsin-Cheng Lin, Chung-Yang (Ric) Huang