openDACS SIG1-设计验证与测试综合-项目简介

openDACS SIG1-设计验证与测试综合项目：由中国科学院计算技术研究所负责，联合openDACS SIG1相关成员单位，围绕数字芯片设计流程中的设计验证、故障测试、硬件安全等方向，逐步建立设计验证和测试综合的EDA软件工具集和平台，发展开源的验证测试EDA技术生态。

关键字：设计验证，仿真，形式化验证，可测试性设计，测试生成，故障诊断，硬件安全

keywords：Design Verification, Simulation，Formal Verification, Design for Testability, Test Generation, Fault Diagnosis, Hardware Security

当前开源工具：

FaultSim：由中科鉴芯（CASTest）和中科院计算所联合开发的一款故障仿真器。 https://www.gitlink.org.cn/opendacs/ictest/tree/master/FaultSim

2021年10月开源

EMSim：由天津大学开源的一款版图级芯片电磁仿真器。 https://www.gitlink.org.cn/opendacs/EMSim

2022年6月开源

PyHCL：由华南理工大学开源的一款硬件敏捷设计与验证框架。 https://www.gitlink.org.cn/opendacs/PyHCL

2022年7月开源

GPU-Resimulator：由复旦大学开源的一款基于GPU的并行门级重仿真器。 https://www.gitlink.org.cn/opendacs/GPU-resimulator

2022年7月开源

EpicSim：由芯华章公司开源的Verilog仿真器。 https://www.gitlink.org.cn/opendacs/EpicSim

2022年7月捐赠给openDACS。

oCASatpg：由中科鉴芯（CASTest）和中科院计算所联合开发的一款ATPG工具。 https://www.gitlink.org.cn/opendacs/oCASatpg

2023年10月开源

EMSim+：由天津大学开源的一款基于生成对抗网络（GAN）的版图级芯片电磁仿真器。 https://www.gitlink.org.cn/opendacs/EMSim_plus

2023年10月开源

许可证类型

SPDX-License-Identifier: LGPL-v3