|
|
各位参赛者：
大家好，由EDA²侠客岛举办的难题挑战经过各参赛团队数月紧张而激烈的角逐，打榜判题和专家评审阶段已结束。根据打榜成绩、入围团队线上答辩和赛题专家综合评议，经大赛组委会审核，现将《芯片功能安全验证的计算加速》赛题获奖名单进行公示。
奖项 | 团队名称 | 指导老师 | 奖励 | 打榜分数 | 专家评语 | 一等奖 | HCS_DFT | 赖李洋 | 奖金50000元，颁发获奖证书 | 9897 | 答辩内容的组织和表达清晰，讲述时逻辑性强，所提交作品中使用的x86的AVX指令集加速的方法新颖，程序运行耗时和内存占用都很优秀，展望中也就进一步的优化提出了多个可行方向。 | 二等奖 | Sagittarius | 杨帆 | 奖金30000元，颁发获奖证书 | 9798 | 在数据结构和仿真算法逻辑方面进行了优化，借助c++中最大位宽的long long primitive type实现了64bit位并行。对运行结果数据的敏感性还可以进一步提升，比如16线程并发为何只有8倍性能提升？如从这点切入就可以注意到线程间负载不均衡，进而发现优化空间。 | 三等奖 | IC_C201 | 郭子超 周剑扬
| 奖金20000元，颁发获奖证书 | 9771 | 比较扎实地完成了基于bit位和多线程两方面的并发优化，程序运行时间拿到了较好的结果，但峰值内存占用较大。就答辩材料准备、概念词典对齐、表述的准确性方面还可以做进一步的提升。 |
以上获奖名单，自公布之日起5个自然日内（2025年8月15日 - 2025年8月20日），任何单位或个人如对获奖名单有异议，可与组委会联系咨询相关事宜，同时请您提供相关证明材料，若经查明确有数据造假等违规事件，将取消其获奖成绩。
恭喜以上获奖团队，待公示结束之后我们将会与您联系沟通颁发奖金及获奖证书事宜。同时，也感谢本次大赛的所有参赛者，期待下期再见。再次向所有获奖选手和团队表示祝贺，感谢大家的不懈努力。
——EDA²侠客岛组委会
——2025年8月15日
|
|
