《面向大规模数字电路的逻辑与结构分析算法》赛题讨论&答疑

欢迎大家参加EDA²侠客岛难题挑战·2025的《面向大规模数字电路的逻辑与结构分析算法》赛题。
大家有任何题目问题、技术问题，都可以在此交流讨论，各领域专家会及时答疑。

如果无法播放，请点击此处在新窗口打开

您还可添加“面向大规模数字电路的逻辑与结构分析算法群”赛题专属微信群，一起沟通交流。

请问有相关的参考文献吗？

喝咖啡 发表于 2025-1-10 11:02
请问有相关的参考文献吗？

开源项目是 Yosys，没有相关文献，需要自己做 research。

那请问每个例子的L只写出一种情况就行吗，还是如果存在多种情况，每种都要写出来？

喝咖啡 发表于 2025-1-10 15:02
那请问每个例子的L只写出一种情况就行吗，还是如果存在多种情况，每种都要写出来？ ...

对于单个D 只需要提供符合条件的一组L即可

赛题详情里指的在线基线代码库是指什么意思？

喝咖啡 发表于 2025-1-14 12:37
赛题详情里指的在线基线代码库是指什么意思？

该代码库指的是参赛者自己管理代码的平台，不指代任何项目，可以是github或本地文件系统等等。

请问该赛题有什么具体的应用场景吗，可以举一个例子吗？

喝咖啡 发表于 2025-1-14 20:09
请问该赛题有什么具体的应用场景吗，可以举一个例子吗？

我们鼓励参赛者从更广的角度来思考问题，赛题本身可能是一个具体的问题，但是在应用上可以体现在不同的地方，这里简单的说一下。
应用场景可以是电路故障检测，电路信号屏蔽等
可使用的方法包括但不限于：逻辑功能仿真(小规模电路)，二元决策图(BDD)，布尔可满足性(SAT)

不好意思，这个赛题对应的问题有一个统一的中文名或英文名吗，很直接相关的文献我一直找不到。

喝咖啡 发表于 2025-1-15 20:52
不好意思，这个赛题对应的问题有一个统一的中文名或英文名吗，很直接相关的文献我一直找不到。 ...

同学你好，文献确实是解决某一类已知问题的方式，但这道题目是我们在实际研发中发现的一个难题，当然也就不会有对应的文献来学习，我们鼓励参赛者先思考用什么样的方法或者朝什么样的方向来研究，然后用不同的办法解决它，对于NP问题，解法是无穷无尽的。

请问比赛的电路都是组合吗，还是也会有时序？我看给出的测试样例目前都是组合

请问如果一种L赋值使得D变为常量，那S的变化也不会引起D的变化，那这算一种解吗？

喝咖啡 发表于 2025-1-19 16:32
请问如果一种L赋值使得D变为常量，那S的变化也不会引起D的变化，那这算一种解吗？ ...

算的，解是指一组L解使得最后的D中不含有S

ennocad123 发表于 2025-1-20 09:16
算的，解是指一组L解使得最后的D中不含有S

你好，请问比赛的电路都是组合吗，还是也会有时序？我看给出的测试样例目前都是组合

Gary233 发表于 2025-1-18 20:14
请问比赛的电路都是组合吗，还是也会有时序？我看给出的测试样例目前都是组合 ...

不会有时序

公开竞赛 Case 放在哪呢

whh 发表于 2025-2-27 14:34
公开竞赛 Case 放在哪呢

公开的case在gitee中 ：https://gitee.com/eda2_xiakedao/ennocad-2025-structural

有三个问题不知道对不对，没有方案时写 "solution": "No",   "name": "D[0]", "assignments": {}    ，D的下标总是从0开始，L的下标总是从1开始， DL总是大写。这样写会判错吗

whh 发表于 2025-3-26 10:50
有三个问题不知道对不对，没有方案时写 "solution": "No",   "name": "D[0]", "assignments": {}    ，D的 ...

你好。
1.没有方案时写 "solution": "No"，只有在solution = yes 且真正有解的时候才会继续向下解析json
2.D与L的问题应当结合实际case判断，不存在非要大小写的说法，只能说design中普遍是大写且从0开始，但是一定要以实际case为准。

ennocad123 发表于 2025-3-27 15:19
你好。
1.没有方案时写 "solution": "No"，只有在solution = yes 且真正有解的时候才会继续向下解析json
...

提交后怎么看正确性，一直是显示是0分，不知道是解析的问题还是别的，能给些反馈吗

whh 发表于 2025-3-28 09:27
提交后怎么看正确性，一直是显示是0分，不知道是解析的问题还是别的，能给些反馈吗 ...

建议您先在提供的镜像中成功运行公开case,然后再提交作品，请确保按照赛题要求的格式进行打印。

src、可执行程序，如果可执行程序用到src目录，是不是不可以，必须保持隔离性？

whh 发表于 2025-4-1 14:28
src、可执行程序，如果可执行程序用到src目录，是不是不可以，必须保持隔离性？ ...

建议避免使用这种方法，以免因无法找到相应数据而导致问题。如果确实需要使用，请确保在任意位置通过绝对路径执行可执行程序时能够正常运行。

关于解个数的问题：不是说对于单个d就只要一种情况吗，怎么给出的例子就输出了所有情况

宁宁宁 发表于 2025-4-7 14:57
关于解个数的问题：不是说对于单个d就只要一种情况吗，怎么给出的例子就输出了所有情况 ...

对于case01这个题，意思我们只要输出00或者11的时候，不需要所有情况都输出？

对于单个D（例如D[0]）只需要提供一组L解即可

更新的case 例如：[8:0] D 这样的，我们是需要给 D[0], D[1], D[2] .... 每个位的解的情况吗，还是直接给 D 就可以了，不太清楚是把 D 看成bit vector，还是里面一个个bit看成output

我问这个问题的主要缘由是不清楚这个index 实际上是把bit vector 拆开后的每个bit 的 index，还是每个 bit vector 的index？

如果是前者，例如我有D[8:0], L[2:0]，那么自然D[0]就是这个D的第一位，L1 就是 L 的第一位。

如果是后者，例如我有D1[8:0], D2[8:0], L1[2:0], L2[2:0], 那么自然 D[0]就是 D1[8:0]， L1就是L1[2:0]。

我目前的做法是假设是后者，因为原先的case有d1, d2。但是更新case后我又怀疑是前者，D的index只是指代 D 的不同位。能否帮助答疑一下这个问题？谢谢

第三种可能性就是 D[index] 这里index 是D bit vector里面每个bit，L1, L2 指的就是完整的 L bit vector? 例如D[0]就是 D[8:0]的第一位，L1 就是一个完整的L[2:0]而不是L[2:0]里面的第二位？

希望还是能给一个example - 对应的expected output，README现在都是expected output和case各说各的。因为现在就算更新了case但是在很多地方还是有歧义

Gary233 发表于 2025-4-9 11:09
更新的case 例如：[8:0] D 这样的，我们是需要给 D[0], D[1], D[2] .... 每个位的解的情况吗，还是直接给 D ...

例如8bit的D，需要给出D[0]...D[7]的解

Gary233 发表于 2025-4-9 11:17
我问这个问题的主要缘由是不清楚这个index 实际上是把bit vector 拆开后的每个bit 的 index，还是每个 bit  ...

example：
[0 : 1] D
[0 : 1] L
result：
D[0] -- L1 L2
D[1] -- L1 L2

此例子与赛题中提供的json相同

ennocad123 发表于 2025-4-9 13:05
example：
[0 : 1] D
[0 : 1] L

你好，我有两个疑问，案例中是否存在逆序写的情况，如 input [0:2] S,   还有提交总是超时，不知道判定标准，是单个case超过多少时间算超时，还是其他判定

whh 发表于 2025-4-10 09:54
你好，我有两个疑问，案例中是否存在逆序写的情况，如 input [0:2] S,   还有提交总是超时，不知道判定标 ...

不会有逆序，此处为笔误
正确应为
[1 : 0] D
[1 : 0] L

对于超时时间，单case最大7200秒。

input l1;     output d1;  这个case如果这样写（下标从0开始），"name":"D[0]"  "solution":"Yes",
      "assignments":{
        "L0":0   }     有一个问题，不以实际case为准时，大小写纠错，下标纠错是否存在；那么这个事是建议还是强制要求。强制要求是两项还是一项

whh 发表于 2025-4-10 15:52
input l1;     output d1;  这个case如果这样写（下标从0开始），"name":"D[0]"  "solution":"Yes",
       ...

对于D，单bit为 D[0], 多bit为D[0...n]，只能大写
对于L无特殊要求，按顺序识别。

请问顶层模块都是有“top”关键字的这种规范形式吗

gonghao 发表于 2025-4-10 17:33
请问顶层模块都是有“top”关键字的这种规范形式吗

就是顶层模块的的命名里都含有“top”吗

gonghao 发表于 2025-4-10 17:34
就是顶层模块的的命名里都含有“top”吗

是的，一定有top module

请问显示的分数包含时间空间因素吗

whh 发表于 2025-4-16 09:41
请问显示的分数包含时间空间因素吗

显示的分数是按照评分标准计算出来的结果，是包含时间空间因素的

侠客岛_SCP_014 发表于 2025-4-16 10:17
显示的分数是按照评分标准计算出来的结果，是包含时间空间因素的

那就会存在做对15道case的得分比做对13道case得分低的情况吗，如果前者时间因素过高

whh 发表于 2025-4-20 11:31
那就会存在做对15道case的得分比做对13道case得分低的情况吗，如果前者时间因素过高 ...

在一些特殊条件下是有可能的，穷举也能做出来所有题目，但并不符合我们要求。所有排名靠前的答案最后都会经过人工审核，有异议的地方会有简短报告进行说明。

请问用yosys怎么将verilog转成最终一个布尔表达式？没有直接的命令，需要自己写脚本吗=-=感觉有点困难

o_0 发表于 2025-4-21 16:14
请问用yosys怎么将verilog转成最终一个布尔表达式？没有直接的命令，需要自己写脚本吗=-=感觉有点困难 ...

推荐参赛者使用yosys自行完成作品设计，不限制工具使用方式。

测例数在10-20间，输出结果答错扣 5 分，单个 case，若出现任意一组错误解，该 case 得 0 分。 意思是处理错误扣分，不处理就不扣分吗； 如果处理后花费很多时间，没有结果，也会被统计到时间中吗。

whh 发表于 2025-4-25 09:50
测例数在10-20间，输出结果答错扣 5 分，单个 case，若出现任意一组错误解，该 case 得 0 分。 意思是处理 ...

不处理的话，没有输出结果，会按照解答错误处理。
会统计到时间中

侠客岛_SCP_014 发表于 2025-4-25 14:39
不处理的话，没有输出结果，会按照解答错误处理。
会统计到时间中

怎么推断做对了几道呢，分数在25-35分之间，正确的case在5-7之间吗，现在完全不知道是正确率的问题还是时间的问题。大电路会有不规范的问题吗，如yosys读入后无法转aig和blif，x用其他字母表示

whh 发表于 2025-4-28 10:21
怎么推断做对了几道呢，分数在25-35分之间，正确的case在5-7之间吗，现在完全不知道是正确率的问题还是时 ...

你好，我们在最近重新校验了一下case，并更新了打分算法，现在电路不会有不规范的问题，所有case具有相同模式（D X L TOP等），不同case只有复杂度区别。
至于评分，现在分数与正确的case个数直接关联，case正确越少，分数波动越小，正确case变多之后分数（可能）有显著变化（假设算法时间空间复杂度不变）。可以一定程度上帮助选手预估情况。

ennocad123 发表于 2025-4-29 16:33
你好，我们在最近重新校验了一下case，并更新了打分算法，现在电路不会有不规范的问题，所有case具有相同 ...

你好，请问重新更换评分标准后分数从三十几掉到个位数是正常的吗？