Popular repositories Loading

1. Quine-McCluskey Quine-McCluskey Public

   Forked from Ahmed-Waseem77/Quine-McCluskey

   Boolean expression simplification using QM algorithim

   C++ 1

2. awesome-AI4EDA awesome-AI4EDA Public

   Forked from ai4eda/awesome-AI4EDA

   This repo awesome-AI4EDA contains the source for the webpage: https://ai4eda.github.io, which is a curated paper list of awesome AI for EDA.

   TeX

3. EPFL_benchmarks EPFL_benchmarks Public

   Forked from lsils/benchmarks

   EPFL logic synthesis benchmarks

   Verilog

4. flute3 flute3 Public

   Forked from The-OpenROAD-Project-Attic/flute3

   Flute3 is an open-source rectilinear Steiner minimum tree heuristic from Iowa State, with UFRGS improvements

   C++

5. sallyliu921.github.io sallyliu921.github.io Public

   Homepage for Fangzhou LIU

   Python

6. DRiLLS DRiLLS Public

   Forked from scale-lab/DRiLLS

   DRiLLS: Deep Reinforcement Learning for Logic Synthesis Optimization (ASPDAC'20)

   Python