Jian Hu, Yongyang Hu, Guanwu Wang, Guilin Chen, Haitao Yang, Yun Kang, Kang Wang. Multi-thread Simulation-based Equivalence Checking between SIM and RTI. In Ali Emrouznejad, Jui-Sheng Rayson Chou, editors, CSAE 2020: The 4th International Conference on Computer Science and Application Engineering, Sanya, China, October 20-22, 2020. ACM, 2020. [doi]
Abstract is missing.