6.1K OpenHarmony / docs

OpenHarmony documentation | OpenHarmony开发者文档

141 芯华章科技股份有限公司 / EpicSim GVP

EpicSim is a Verilog compiler. It is suitable for use as a simulator

5 麻丫丫 / Matrix

矩阵形式化工作

1 He1pa / 类型系统

171 芯华章科技股份有限公司 / EpicFV GVP

业界首款开源形式验证工具