zhanghongce

Hongce Zhang's repositories

EnvSynSamples

Samples for Env. Inv. Synthesis

Language:SMT3 20

IC3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

Language:C++NOASSERTION3 10

cosa2

Next generation cosa.

Language:C++NOASSERTION2 10

HWMCC19-in-CHC

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

2 20

ILA-Tools

A Modeling and Verification Platform for SoCs using ILAs

Language:C++MIT2 20

pdr-prototype-tests

Testing different ideas with PDR

Language:Python2 20

ridecore-sqed-symbolic-start

Language:VerilogBSD-3-Clause2 20

vexpparser

Verilog Expression Parser

Language:C++NOASSERTION2 20

btor2verilog

Hacked together program to convert btor2 files to Verilog.

Language:C++BSD-3-Clause100

Pyverilog

Python-based Hardware Design Processing Toolkit for Verilog HDL

Language:PythonApache-2.01 10

smtlib2parser

SMT-LIB v2 Parser

Language:CMIT02 2

verilog-parser

A Flex/Bison Parser for the IEEE 1364-2001 Verilog Standard.

Language:CMIT020

wasim-cpp

Language:C++000

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION010

ASYNC

010

cuda-code-samples

Source code examples from the Parallel Forall Blog

Language:HTMLBSD-3-Clause010

EDA-wiki

EDA wiki

Language:Shell010

ILA_AES

Language:Verilog02 2

ILA_Flute

Language:Verilog020

ILA_Piccolo

ILA modeling and verification of Piccolo RV32IU

Language:Verilog02 1

ILA_Ridecore

Language:Verilog020

ILA_Rocket

Language:Verilog010

ILAng-Doc

ILAng documentation

Language:TeXMIT010

MICS6000H-PRJ2

Language:Python020

mustool

Language:C++MIT010

qemu_stm32

QEMU with an STM32 microcontroller implementation

Language:CNOASSERTION010

RDF-2019

DATC RDF

Language:VerilogMIT010

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Language:C++NOASSERTION010

starter-hugo-academic

Language:Jupyter NotebookMIT020

VMCAI-2020-AE

The Artifact for VMCAI 2020 Submission

Language:SMTNOASSERTION020