GateTruth: Auditing the Rigor of RTL Design Benchmarks via Mutation Testing
GateTruth:通过变异测试审计RTL设计基准的严谨性
专题命中 评测与基准 :large language model(abstract);language model(abstract)
AI总结 GateTruth是用于审计RTL基准测试平台严谨性的变异测试引擎,实验显示多数RTLLM v2.0基准测试平台未达95%变异体杀伤阈值,4096-token输出上限会影响模型排名,其成果推动将变异体杀伤认证设为RTL基准的标准要求。