18 Bohua Zhan/holpy

Implementation of higher-order logic in Python.

3.1K liangkangnan/tinyriscv

一个从零开始写的极简、非常易懂的RISC-V处理器核。

170 KiCad-CN/kicad-cn-forum

https://gitee.com/kicad-eda

1 Liu_ci/eda_challenge_code

8 OSCC/EDA-Parsers

开源EDA工具和算法开发中的标准文件格式解析器，包含Verilog（netlist），Liberty，VCD，SPEF，SDF

4 nlwmode/benchmark_eda_elite

The AIG benchmark for EDA ELITE CONTEST, Problem 2.

1 RainsunYE/FAN-SAT-ATPG

FAN+SAT ATPG方法

1 ray0728/gbacloud

基于[GITHUB](https://github.com/Browncha023/GBA) 二次开发的云端GBA. 由于仓库大小限制，移除了所有GBA ROM文件

1 叶泽坤/EDA

高位宽运算电路的逻辑等价性验证

2 水蜜桃子/EDA设计精英挑战赛 第二题

暂停

2021年EDA设计精英挑战赛，第二题:数字集成电路低功耗设计分析器