An Ultrasynchronization Checking Method With Trace-Driven Simulation for Fast and Accurate MPSoC Virtual Platform Simulation | IEEE Journals & Magazine | IEEE Xplore