Jian Hu, Guanwu Wang, Guilin Chen, Yun Kang, Long Wang, Jian Ouyang. Equivalence Checking Between System-Level Descriptions by Identifying Potential Cut-Points. In Qilian Liang, Wei Wang 0180, Xin Liu 0009, Zhenyu Na, Min Jia, Baoju Zhang, editors, Communications, Signal Processing, and Systems - Proceedings of the 8th International Conference on Communications, Signal Processing, and Systems, CSPS 2019, Urumqi, China, 20-22 July 2019. Volume 571 of Lecture Notes in Electrical Engineering, pages 1328-1335, Springer, 2019. [doi]
Abstract is missing.