Pinned Loading

1. E-Syn E-Syn Public

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

   C 42 10

2. E-Syn2 E-Syn2 Public

   E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis (DAC2025)

   C 29 3

3. AIG2INV AIG2INV Public

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

   C++ 13 1

4. ML4PDR ML4PDR Public

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

   C++ 3 4

5. xfzhou01/EvolveGen xfzhou01/EvolveGen Public

   EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning (TACAS 2026)

   Python 8 1

6. AutoPDR AutoPDR Public

   AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking (ISEDA 2026)

   Python 3