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

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

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

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

Watch tizhou / cryptominisat forked from 061012 / cryptominisat

An advanced SAT solver

Watch tizhou / minisat

Watch tizhou / CoSA

Watch tizhou / vn.py forked from vn.py官方 / vn.py

基于Python的开源量化交易平台开发框架

Watch tizhou / EpicSim forked from 芯华章科技股份有限公司 / EpicSim

EpicSim Project

Watch tizhou / EpicFVX forked from 芯华章科技股份有限公司 / EpicFV