Beijing, China

Yuheng Su

Expert
@gipsyh
gipsyh.github.io/

rIC3. LLM-Assisted Hardware Formal Verification Tool

111

rIC3-HWMCC24. rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission

12

logicrs. Rust

8

cill-exp. SystemVerilog

7

rIC3-CAV25. Python

6

aig-rs. Rust

5

minisat-rs. Rust

4

cudd-rs. Rust

4

kissat-rs. Rust

4

DAC24. Predicting Lemmas in Generalization of IC3 (Accepted by DAC2024)

4

mc-benchmark. Verilog

4

abc-rs. Rust

3

cadical-rs. Rust

3

fvbench. SystemVerilog

3

evaltor. Rust

2

bitwuzla-rs. Rust

2

IC3ref. C++

1

SBVA. Structured BVA

1

giputils. Rust

1

btor-rs. Rust

1

nuXmv. Python

1

certifaiger. Certify Model Checking Witnesses in AIGER

1

rIC3-HWMCC25.

1

PPSMC. C

1
24
Apply