EDA²难题挑战交流 今日: 0|主题: 40|排名: 2 

欢迎大家参加EDA²侠客岛难题挑战·2025的《面向大规模数字电路的逻辑与结构分析算法》赛题。 大家有任何题目问题、技术问题，都可以在此交流讨论，各领域专家会及时答疑。 当前视频加载较慢，建议下载到本地观看。讲解视频只针对此次赛题，请勿二次创作。 面向大规模数字电路的逻辑与结构分析算法-赛题讲解.mp4

我们在提交可执行文件后发现结果是0分，我们想知道是环境问题还是结果不能达到对应的要求。 能否返回一些信息来方便我们进行相关的检查？ 方便的话，是否能提供一个与测试环境一致的dockerfile或服务器用来进行环境的检查？

问题1：提交作品时显示一直未评分状态，上面显示提交的二进制文件要支持 fan_multi -f /path/to/scripts/name.scripts 4e25c4520664:~/Haisi/FAN_ATPG_EX/submission# fan_multi -f ~/Haisi/FAN_ATPG_EX/scripts/RunSim.sh bash: fan_multi: command not found 这个在服务器上测试的时候并没有，一直都是用下面的命令来测试case，且都正常 /bin/bash scripts/RunSim.sh ~/Haisi/FAN_ATPG_EX/submission/fan run case09 是我理解错了吗还是哪里的问题？ 问题2：case10不管怎么测试都是fail，用原版的FAN_ATPG也是fail，应该是电路的问题

欢迎大家参加EDA²侠客岛难题挑战·2025的《基于汉擎底座的Pattern Matching算法》赛题。 大家有任何题目问题、技术问题，都可以在此交流讨论，各领域专家会及时答疑。 当前视频加载较慢，建议下载到本地观看。讲解视频只针对此次赛题，请勿二次创作。 基于汉擎底座的Pattern Matching算法-赛题讲解.mp4

您好，在镜像中运行测试文件时显示fault_compare_result:FAIL，看了下sh文件，是因为运行时间过长所以FAIL吗，还是有什么其他可能原因吗？谢谢！ /fsim_TC01.script 9> cat .a && ./test_cases/case01/bin/val recv TC01 && cat .a /fsim_TC01.script 10> run_fault_sim # Performing fault simulation ... Terminated fault_compare_result:FAIL

无法正常登录比赛提供的服务器账号，可以帮忙解决下吗？ 账号是eda230122

在跑case09的时候刚开始run_fault_sim没几秒钟就报这个错误 /fsim_TC09.script 10> run_fault_sim # Performing Multicore-Parallelfault simulation ... scripts/RunSim.sh: line 106: 214946 Killed timeout $case_timeout ${binfile} -f ./test_cases/${para3}/script/fsim_TC${para3:4:2}.script

赛题里面显示矩阵A是正定矩阵，但是我处理的时候发现好像不是正定的。大佬们有没有也是这种情况的呀~~~

在服务器上测试运行时发现报错。 我将FAN_ATPG项目编译后生成的可执行二进制文件fan上传至我的目录并重命名为fan_multi后，挂载到docker并运行case01测试。 我并未对FAN_ATPG项目做任何修改，在模拟器上运行fsim_TC01.script时虽然出现terminated，但script各行并未报错，但在服务器上运行时，脚本的9、11、14三行涉及cat指令的部分全部报错，如下： /fsim_TC01.script 14> cat .a && ./test_cases/case01/bin/val compare TC01 && cat .a cat: can't open '.a': No such file or directory **ERROR SysCatCmd::exec(): cat files failed 并且运行结束后的报告如下所示： # Goodbye # Runtime real 178.295 s user 177.824 s sys 0.295632 s # Memory peak 215.387 MB cat: can't open './log/TC01_test.result': No such file or directory cat: can't open './log/TC01_test.result': No such file or directory cat: can't open './log/TC01_test.result': No such file or directory fault_compare_result: case_runtime: case_peak_memory: Peak_memory: multi_run_time: case_factor:1 case_benchmark_time:212 case_benchmark_memory:212.24 bc: bad expression at '' acceleration_ratio=212 / * 1 Acceleration_Ratio: 报告面诸如fault_compare_result、case_runtime等参数全为空； cat报错显示在log文件夹中没有找到TC01_test.result，但实际上该文件好端端的存在log文件夹里： c2a80dfb3955:/xiakedao/FAN_ATPG_demo/log# ls TC01_fsim_DT.fault TC01_fsim_UD.fault TC01_test.result 想问下有没有遇到同样问题的大佬，到底是怎么回事

我们在服务器上用FAN_ATPG项目的源代码跑case10，用parallelpattern是pass了，但用parallelfault就fail了，想请问下这是存在什么问题吗?