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

ABB 发表于 2025-5-22 09:45
你好，请问重新更换评分标准后分数从三十几掉到个位数是正常的吗？

你好，分数下降是正常的，评分标准中增加了正确case的权重，详细可见标准(5);并且明确了可能产生歧义的单bitD的打印格式，对于单 bit D，格式应为 D[0]。

case02中顶层模块是TOPGATELEVEL,还是说我们用于比赛的所有的case都是TOP？

o_0 发表于 2025-5-22 16:10
case02中顶层模块是TOPGATELEVEL,还是说我们用于比赛的所有的case都是TOP？

公开case已更新，您可前往 gitee https://gitee.com/eda2_xiakedao/ennocad-2025-structural下载最新版本；并且所有case已校验，所有case具有相同模式（D X L TOP等），不同case只有复杂度区别。

云水谣 发表于 2025-5-22 16:24
公开case已更新，您可前往 gitee https://gitee.com/eda2_xiakedao/ennocad-2025-structural下载最新版本 ...

那json中是L[0],L[1]这样还是L1,L2这样？

o_0 发表于 2025-5-23 19:34
那json中是L[0],L[1]这样还是L1,L2这样？

按照赛题详情里的要求，L1、L2这样就行

请问有这样一个表达式f=!(L*X)*S,对于该式子来说，仅有L和X均为1的时候才会使得S为无关项，请问L=1也是一种解吗

yulin 发表于 2025-6-6 15:03
请问有这样一个表达式f=!(L*X)*S,对于该式子来说，仅有L和X均为1的时候才会使得S为无关项，请问L=1也是一种 ...

不是的, 只有L能独立决定结果是否有S，才算是有解。不能依赖于X