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

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

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

当前视频加载较慢，建议下载到本地观看。讲解视频只针对此次赛题，请勿二次创作。
面向大规模数字电路的逻辑与结构分析算法-赛题讲解.mp4

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

喝咖啡 发表于 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
请问比赛的电路都是组合吗，还是也会有时序？我看给出的测试样例目前都是组合 ...

不会有时序