Highly Efficient and Effective Approach for Synchronization-Function-Level Parallel Multicore Instruction-Set Simulations. - Jyun-Hao Chang; Hsin-I Wu; Hsien-Lun Pai; Ren-Song Tsay; Wai-Kei Mak (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)