Popular repositories Loading

1. HW-Formal-Paper HW-Formal-Paper Public

   Recent papers related to hardware formal verification.

   76 11

2. ABCPaperCheck ABCPaperCheck Public

   Research paper based on or related to ABC.

   72 13

3. eqcheck-script eqcheck-script Public

   Some notes regarding equivalence checking using Yosys and ABC

   8

4. FORWORD FORWORD Public

   Forked from yangziyiiii/FORWORD

   [DATE 2026] FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping

   Verilog 6

5. SRonGIG SRonGIG Public

   Split-and-Reunion Strategy

   C++ 4

6. arithmetic-block_test arithmetic-block_test Public

   Testing atomic blocks extraction in abc

   C 1