用于硬件仿真的SERE的高效自动断言检查器合成| IEEE会议出版物| IEEE Xplore