gy-hu Goto Github PK

aig2inv

DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)

awesome-fuzzing

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

cosa2

Next generation cosa.

e-syn

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

eda_fv_conference_deadline

Countdown for EDA and formal verification conference deadlines

egg

egg is a flexible, high-performance e-graph library

esp32-smartgarden

Smart Garden Implemented by ESP32

expr2netlist

Simple parser and synthesizer to play with logic expression.

figurebed

Figure bed for markdown (for personal use only)

gamepad

Millimeter wave gamepad

gdb-plugins

Backup of hongsofwing/GDB-Plugins.git

hw-formal-paper

Recent papers related to hardware formal verification.

ic3-playground

Prototype some ideas related to IC3 algorithm. Also make a comparison environment for various implementation of IC3

m1gpu_benchmark

test m1 gpu acceleration

ml4pdr

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)

pdrc

Reproduce of "HVC2017: A Supervisory Control Algorithm Based on Property-Directed Reachability"

pybmc

Implementation of bounded model checking with Z3py. (AIGER1.0 support)

rethinking-anomaly-detection

For DSAA6000B assignment

smt-switch

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

surge

Self-maintained surge configuration

wasim-cpp