@hongcez
hongcez 暂无简介
Implementation of higher-order logic in Python.
一个从零开始写的极简、非常易懂的RISC-V处理器核。
ICTest 故障仿真器,是由中科鉴芯(CASTest)开源的基于三帧仿真的故障仿真器。
业界首款开源形式验证工具