Gate type not found
未关闭
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 35/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- python
- 领域
- cli, testing-qa
调研方向
从 README 示例和使用 output/circuit.pickle、examples/fault_model.json 以及 cell_lib_nangate45_autogen.py 的 fi_injector.py 命令开始。将生成的单元定义与 NangateOpenCellLibrary_typical.lib 进行比较，并追踪 DFFR_X1_Q、DFFR_X1_QN 和 DFFS_X1_Q 在哪里被查找。示例中的门类型错误得到解释，并且文档化的设置或示例行为一致，即视为完成。
由索引模型根据 Issue 内容生成。
描述
Greetings,
I'm trying to run the example provided in the README to familiarize with this tool. It all seems to work, up until I run the actual analysis:
venv) osboxes@osboxes:~/synfi$ ./fi_injector.py -p output/circuit.pickle -f examples/fault_model.json -n 16 -c cell_lib_nangate45_autogen.py
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
2024-09-12 16:46:55.961064: Starting FI Injector for fault model rnd_ctr with 2 simultaneous faults.
Injecting 6 faults...
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFS_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_QN not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFS_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6097) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFS_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_QN not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFS_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6096) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFS_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_QN not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFS_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
(pid=6151) Err: Gate type DFFR_X1_Q not found.
2024-09-12 16:47:01,285 WARNING worker.py:1228 -- WARNING: 9 PYTHON worker processes have been started on node: 2f5f4aa088ba5a1f2c1fb8cf810026377b1b9911c9801ebe849092b0 with address: 10.0.2.15. This could be a result of using a large number of actors, or due to tasks blocked in ray.get() calls (see https://github.com/ray-project/ray/issues/3644 for some discussion of workarounds).
Found 4 (66.67%) effective combinational faults, 0 (0.0%) effective sequential faults, and 2 ineffective faults.
Circuit size of the whole circuit: 489.33 GE and of the analyzed target graph: 183.67 GE.
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
fi_injector.py successful (8.62s)
Are all those gate type errors impacting the analysis? What's causing them? I downloaded the NangateOpenCellLibrary_typical.lib file from here, as it seems to be indicated in the README. Should I have downloaded other files as well?
- 主要语言
- Python
- 星标
- 18
- 派生
- 8
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
相似的 Issue
-
bug Size: XS
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 76/100
oposs/repo-infra#93 ·
维护者通常 1 天内回复
-
bug
难度 2/5 1-3 小时 新手友好度 78/100
-
难度 2/5 1-3 小时 新手友好度 69/100
Graphify-Labs/graphify#4546 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 65/100
521xueweihan/HelloGitHub#4025 ·