DiffTest-H: Toward Semantic-Aware Communication in Hardware-Accelerated Processor Verification

Kunlin You, Yinan Xu 0001, Kehan Feng, Luoshan Cai, Yaoyang Zhou, Yungang Bao. DiffTest-H: Toward Semantic-Aware Communication in Hardware-Accelerated Processor Verification. In Proceedings of the 58th IEEE/ACM International Symposium on Microarchitecture, MICRO 2025, Seoul, Republic of Korea, October 18-22, 2025. pages 1462-1476, ACM, 2025. [doi]

Abstract

Abstract is missing.