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