开源作者 

赖晓铮

华南理工大学

发布概要：

近年来，随着芯片设计规模越来越大，集成电路自动化设计（EDA）面临的重大挑战就是如何缩短芯片的设计和验证周期，使EDA设计与验证全流程变得更“轻”，更敏捷。研究人员借鉴了软件编程的敏捷设计方法学，依托高级程序设计语言（例如Scala，，Haskell等）构造领域特定语言（Domain Specific Language），利用高级语言中面向对象、函数式编程、参数化等特性，扩展DSL硬件描述能力，提高硬件设计的抽象层次。在本报告中，我们将回顾近十年来芯片敏捷设计与验证领域取得的进展和存在的问题，介绍在openDACS v2.0中开源的一个新的硬件敏捷设计与验证框架——PyChip：在兼容Chisel的firrtl IR框架的同时，在不同IR层级上建立“设计-验证”敏捷迭代，使其具有较高的设计和验证效率。

开源作者 

杨帆

复旦大学

发布摘要:

门级仿真是验证中的重要一环。本报告介绍了一种高效的基于GPU加速的门级重仿真方法。该仿真方法支持4值系统，在GPU 上实现了两个维度的并行化，分别通过给逻辑门分组和切割转换事件来完成。通过状态压缩和无效状态清除的方法来减少数据传输的规模，进而减少通信开销。通过  和GPU 之间的异步通信策略隐藏转储文件耗时。和2020年ICCAD竞赛的第一名相比，所提出的方法在单个测例的加速比上可以快47.1%，在所有测例的几何平均加速比上可以快10.5%。相关代码将开源，并集成到OpenDACS 2.0中用于加速门级仿真。

开源作者   

天津大学

发布摘要:

现代集成电路芯片不仅需要满足一定的电磁兼容标准，同时需要关注由电磁泄漏带来的潜在信息泄漏风险。由于缺乏快速且高精度的电磁辐射仿真工具，现有的电磁泄漏和评估常发生在芯片流片后，且一旦发现芯片存在电磁泄漏问题，会带来极高的弥补成本。为此，在本报告中我们将介绍openDACS v2.0中开源的设计验证与综合SIG工具：EMSim版图级芯片电磁仿真器，该仿真器能够基于芯片的版图数据，准确高效地仿真芯片的电磁辐射情况，为芯片的硅前电磁泄漏评估提供新的方法和手段。

开源作者 

储著飞

宁波大学

发布摘要:

逻辑优化方法与逻辑函数的表达方法密切相关，现有的逻辑表示方法均是基于“与/或/非”逻辑发展而来的传统布尔逻辑(Tronal Boolean, TB)。除了TB，布尔逻辑函数也可用基于“与/异或(XOR)”的Reed-Muller (RM)逻辑实现，研究表明RM逻辑在对算术综合时展现出较好的性能，而且综合出的电路易于测试。除此外，基于三输入多数逻辑门(majority-of-three，MAJ)的低功耗逻辑单元及逻辑综合近年来受到广泛关注，采用“MAJ/非”两种算符(Majority-Inverter Graph，G)构成了逻辑完备集用于综合。将上述TB逻辑，RM逻辑，MAJ逻辑统称为多逻辑域。本报告中我们介绍将在openDACS v2.0中集成的基于多逻辑域的开源逻辑综合工具ALSO，从逻辑表示方法，逻辑优化算法，工艺映射算法等方面介绍面向FPGA、和新兴计算范式的综合流程。

开源作者   

安路科技

发布摘要:

开源EDA工程的构架是其生命力的根基。需要让开源社区参与者做到能理解、能改进、能验证、能纠错。PGA开源FPGA mapper在lossless synthesis的框架下清晰的定义了数据层、工具层、算法层和流程层，使得整个系统彻底、清晰，容易改进或添加算法。同时提供内置仿真工具、形式验证工具及网表写出工具为算法和验证提供便捷。整体工程文档完备、代码与参考文献对应，大幅提高了代码的可读性。该构架将吸引更多高校、科研机构参与到逻辑综合中技术映射的创新中来。

开源作者 

尚笠

复旦大学

发布摘要:

布局规划是芯片物理设计中的关键任务，其目标是在密度约束下探索线长优化的芯片物理布局。芯片布局规划是一个NP难题，计算复杂度高，难以通过经典算法方法高效解决。本报告介绍基于机器学习的芯片布局规划方法。通过图构建从电路连接到物理位置的优化映射的过程，学习电路连接与物理线长之间的优化映射，并通过模型推理实现芯片物理布局的高效优化。该模型与代码已开源，并将集成在openDACS v2.0中，实现完整的开源芯片物理布局流程。

开源作者

徐宁

武汉理工大学

发布摘要:

随着表面贴装技术的发展和元件尺寸的缩小, PCB 板的集成度越来越高, 增加了 PCB 的设计难度和研发投入。PCB上元件的布局主要是由人工完成, 尚无成熟有效的自动布局算法。通过对PCB 的布局特点进行分析研究，针对不规则布局边界，满足布局约束，开发了一个面向中小规模的PCB自动布局工具，将集成在openDACS v2.0中。