zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)
Hong Kong University of Science and Technology (Guangzhou)Guangzhou, China
Pinned Repositories
cosa2
Next generation cosa.
EnvSynSamples
Samples for Env. Inv. Synthesis
HWMCC19-in-CHC
Benchmark from Hardware Model Checking Competition 2019, translated into CHC and VMT
IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
ILA-Tools
A Modeling and Verification Platform for SoCs using ILAs
pdr-prototype-tests
Testing different ideas with PDR
smtlib2parser
SMT-LIB v2 Parser
vexpparser
Verilog Expression Parser
vmcai2020-inv-syn-benchmarks
The Benchmarking Examples for Environment Invariant Synthesis
wasim-cpp
zhanghongce's Repositories
zhanghongce/EnvSynSamples
Samples for Env. Inv. Synthesis
zhanghongce/IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
zhanghongce/cosa2
Next generation cosa.
zhanghongce/HWMCC19-in-CHC
Benchmark from Hardware Model Checking Competition 2019, translated into CHC and VMT
zhanghongce/ILA-Tools
A Modeling and Verification Platform for SoCs using ILAs
zhanghongce/pdr-prototype-tests
Testing different ideas with PDR
zhanghongce/ridecore-sqed-symbolic-start
zhanghongce/vexpparser
Verilog Expression Parser
zhanghongce/btor2verilog
Hacked together program to convert btor2 files to Verilog.
zhanghongce/Pyverilog
Python-based Hardware Design Processing Toolkit for Verilog HDL
zhanghongce/smtlib2parser
SMT-LIB v2 Parser
zhanghongce/verilog-parser
A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.
zhanghongce/wasim-cpp
zhanghongce/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
zhanghongce/ASYNC
zhanghongce/cuda-code-samples
Source code examples from the Parallel Forall Blog
zhanghongce/EDA-wiki
EDA wiki
zhanghongce/ILA_AES
zhanghongce/ILA_Flute
zhanghongce/ILA_Piccolo
ILA modeling and verification of Piccolo RV32IU
zhanghongce/ILA_Ridecore
zhanghongce/ILA_Rocket
zhanghongce/ILAng-Doc
ILAng documentation
zhanghongce/MICS6000H-PRJ2
zhanghongce/mustool
zhanghongce/qemu_stm32
QEMU with an STM32 microcontroller implementation
zhanghongce/RDF-2019
DATC RDF
zhanghongce/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
zhanghongce/starter-hugo-academic
zhanghongce/VMCAI-2020-AE
The Artifact for VMCAI 2020 Submission