Pinned Loading

1. E-Syn E-Syn Public

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

   C 25 4

2. AIG2INV AIG2INV Public

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

   C++ 9 1

3. ML4PDR ML4PDR Public

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

   C++ 3 3

4. pybmc pybmc Public

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

   Python 7

5. HW-Formal-Paper HW-Formal-Paper Public

   Recent papers related to hardware formal verification.

   59 8

6. pyPDR pyPDR Public

   Implementation of IC3/PDR algorithm with z3py (AIGER 1.0 supported)

   Python 6