Discover @zhanghongce Open Source projects

Hongce Zhang (@zhanghongce)

zhanghongce

Stars
30
Global Rank 491,990 (Top 17 %)
Followers 70
Following 85
Registered about 11 years ago
Most used languages

SMT 25.0 %

Python
25.0 %

HTML
12.5 %

C++
12.5 %

Verilog 12.5 %

Assembly
12.5 %
Location 🇺🇸 United States
Country Total Rank 107,140
Country Ranking

SMT 14

Verilog 960

Assembly
1,338

vmcai2020-inv-syn-benchmarks

The Benchmarking Examples for Environment Invariant Synthesis

EnvSynSamples

Samples for Env. Inv. Synthesis

spectreOoOTest

HWMCC19-in-CHC

Benchmark from Hardware Model Checking Competition 2019, translated into CHC and VMT

pdr-prototype-tests

Testing different ideas with PDR

ridecore-sqed-symbolic-start

vexpparser

Verilog Expression Parser

TACAS-artifact

The repo for TACAS artifact submission

star-set-rnn

Re-implemention of Star Set Propagation using Python and CPLEX API