- 开源项目公开站GitHub
naja-verilog：独立门级 Verilog 解析器
najaeda/naja-verilog — A standalone structural (gate-level) verilog parser
GitHub 项目 najaeda/naja-verilog 是一个独立的门级（结构级）Verilog 解析器，目前获约 43 颗星，定位为独立解析工具。
意义：门级网表解析是 EDA 与硬件形式化验证的基础能力，独立解析器可嵌入各类工具链，降低对商业 EDA 工具的依赖。