Pinned Loading

1. Gy-Hu/E-Syn Gy-Hu/E-Syn Public

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

   C 42 10

2. Gy-Hu/E-Syn2 Gy-Hu/E-Syn2 Public

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

   C 28 3

3. Re_VEAL Re_VEAL Public

   ReVEAL is a framework that combines Graph Neural Networks (GNNs) for architecture-level reverse engineering of optimized multipliers to assist in formal verification.

   C 7 1

4. yosys_rtl-netlist_sequential_cec yosys_rtl-netlist_sequential_cec Public

   Yosys & ABC script for sequential equivalence checking for RTL and Synthesized netlist

   Verilog 7

5. Cristal Cristal Public

   CRISTAL is a novel methodology and framework for constructing Boolean choice networks for Technology Mapping

   C 6 2