提示
暂不支持移动端,请在PC端查看

首页 难题挑战 演武堂 炼金阁 模板管理 运营中心 光明顶 关于我们
搜索

【EDA竞赛】

楼主
ICers_106

4

主题

11

回帖

36

积分

发布时间:2023-12-5 20:47:07 | 显示全部楼层
您好,在镜像中运行测试文件时显示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


独照松月

0

主题

14

回帖

52

积分

发布时间:2023-12-6 09:36:56 | 显示全部楼层
这个二进制文件是二次开发的吗?还有没有其它报错信息
小猿

3

主题

9

回帖

0

积分

发布时间:2023-12-6 10:42:14 | 显示全部楼层
你看下我发的帖子,你的问题和我的问题是一样的,只不过你的第九个命令没有报错,我的报错了
ICers_106

4

主题

11

回帖

36

积分

发布时间:2023-12-6 17:26:45 | 显示全部楼层
独照松月 发表于 2023-12-6 09:36
这个二进制文件是二次开发的吗?还有没有其它报错信息

按手册在FAN_ATPG目录下编译的,没有动过代码,运行也没有其他报错信息,

log文件内容如下:
multi RunTime:150
multi Memory Peak:208.26
multi Fault Compare:FAIL
Acceleration_Ratio:1.00

运行内容如下:
/bin/bash scripts/RunSim.sh /xiakedao/FAN_ATPG/bin/opt/fan run case01
#  ==========================================================================
#
#                                   FAN ATPG
#
#                Copyright(c) Laboratory of Dependable Systems,
#                Graduate Institute of Electronics Engineering,
#                          National Taiwan University
#                             All Rights Reserved.
#
#  ==========================================================================
#
#  Kernel:   Linux
#  Platform: unknown
#  Memory:   1959.41 MB
#
/fsim_TC01.script 1> read_lib test_cases/case01/lib/mod2_nangate45.mdt
#  Reading technology library ...
#  Finished reading library `test_cases/case01/lib/mod2_nangate45.mdt'    0.09676 s    220.359 MB
/fsim_TC01.script 2> read_netlist test_cases/case01/netlist/TC01.v
#  Reading netlist ...
#  Finished reading netlist `test_cases/case01/netlist/TC01.v'    2.23316 s    273.535 MB
/fsim_TC01.script 3> report_netlist
#  netlist information
#    number of modules: 1
#    modules:           TC01
#    current module:    TC01
#    number of ports:   693
#    number of cells:   14403
#    number of nets:    14646
/fsim_TC01.script 4> build_circuit --frame 1
#  Building circuit ...
#  Finished building circuit    1.76229 s    277.242 MB
/fsim_TC01.script 5> report_circuit
#  circuit information
#    netlist:         TC01
#    number of PIs:   240
#    number of PPIs:  1602
#    number of POs:   453
#    number of combs: 12801
#    number of gates: 16698
#    number of nets:  30939
/fsim_TC01.script 6> read_pattern test_cases/case01/pat/FAN_TC01.pat
#  Reading pattern ...
#  Finished reading pattern `test_cases/case01/pat/FAN_TC01.pat'    11.7919 s    407.078 MB
/fsim_TC01.script 7> set_fault_type saf
#  fault type set to stuck-at fault
/fsim_TC01.script 8> add_fault -a
#  Building fault list ...
#  Finished building fault list    0.063773 s    416.723 MB
/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
case_runtime:212
case_peak_memory:212.24

Peak_memory:212.24
multi_run_time:212
case_factor:1
case_benchmark_time:212
case_benchmark_memory:212.24
acceleration_ratio=212 / 212 * 1
Acceleration_Ratio:1.00

Peak_Memory:208.26
ICers_106

4

主题

11

回帖

36

积分

发布时间:2023-12-6 23:01:16 | 显示全部楼层
独照松月 发表于 2023-12-6 09:36
这个二进制文件是二次开发的吗?还有没有其它报错信息

您好,我最近测试发现,如果run_fault_sim 加了参数 -m pf 后显示pass,不加的话是fail,对于case01,case02做了测试都是这样,想问下这是正常的吗?
独照松月

0

主题

14

回帖

52

积分

发布时间:2023-12-7 09:12:45 | 显示全部楼层
ICers_106 发表于 2023-12-6 23:01
您好,我最近测试发现,如果run_fault_sim 加了参数 -m pf 后显示pass,不加的话是fail,对于case01,cas ...

日志中出现了Terminated,是程序运行超时,shell脚本timeout了,这个也是fault_compare_result:FAIL的原因
#  Performing fault simulation ...
Terminated
be_way_ahead

2

主题

5

回帖

33

积分

发布时间:2023-12-10 18:54:01 | 显示全部楼层
独照松月 发表于 2023-12-7 09:12
日志中出现了Terminated,是程序运行超时,shell脚本timeout了,这个也是fault_compare_result:FAIL的原 ...

我看FAN_ATPG项目的官方文档,fault sim有两种方式,parallel fault和parallel pattern,如果不通过run_fault_sim -m [pf/pp]方式指定的话会自动选择,我在模拟器上测试着只有制定pf方式的时候才能PASS,不指定或者指定为pp全为FAIL,在服务器上测试的话cat指令报错,不知道怎么回事,大佬可以看我新发的帖子
ICers_106

4

主题

11

回帖

36

积分

发布时间:2023-12-11 15:33:18 | 显示全部楼层
be_way_ahead 发表于 2023-12-10 18:54
我看FAN_ATPG项目的官方文档,fault sim有两种方式,parallel fault和parallel pattern,如果不通过run_f ...

pp Fail是因为运行时间超过RunSim.sh设置的timeout了,你可以看下文件RunSim.sh
联系我们
EDA²侠客岛邮箱:xiakedao@eda2.com
联系人电话:18191069556
ISEDA官网
IDAS官网
EDA²公众号
企业微信

Powered by Discuz!

© 2001-2025 Discuz! Team.

快速回复 返回顶部 返回列表