Mingyuan Ma, Jinxue Sui, Xia Zhang. Design of a Three-Level Cross-Verification Coverage Model for Complex IP Verification. In Proceedings of the 2023 7th International Conference on Electronic Information Technology and Computer Engineering, EITCE 2023, Xiamen, China, October 20-22, 2023. pages 1428-1434, ACM, 2023. [doi]
Abstract is missing.