DiffTest-H: Toward Semantic-Aware Communication in Hardware-Accelerated Processor Verification. - Kunlin You; Yinan Xu 001; Kehan Feng; Luoshan Cai; Yaoyang Zhou; Yungang Bao (MICRO, 2025)