Skip to content
Change the repository type filter

All

    Repositories list

    • C++ logic network library
      C++
      MIT License
      14021282Updated Oct 19, 2024Oct 19, 2024
    • EPFL logic synthesis benchmarks
      Verilog
      MIT License
      3616610Updated Aug 26, 2024Aug 26, 2024
    • bill

      Public
      C++ header-only reasoning library
      C
      MIT License
      61102Updated Jul 11, 2024Jul 11, 2024
    • alice

      Public
      C++ command shell library
      C++
      MIT License
      11100Updated May 7, 2024May 7, 2024
    • Showcase examples for EPFL logic synthesis libraries
      CSS
      MIT License
      3118400Updated Apr 5, 2024Apr 5, 2024
    • Changes needed to compile ABC as a static library and interface with mockturtle
      C
      Other
      593200Updated Mar 4, 2024Mar 4, 2024
    • Best MIG-mapped results of EPFL benchmarks
      Verilog
      0000Updated Feb 27, 2024Feb 27, 2024
    • Optimization results for superconducting electronic (SCE) circuits
      Verilog
      MIT License
      11100Updated Dec 5, 2023Dec 5, 2023
    • exorcism

      Public
      Stand-alone library for ABC's exorcism
      C++
      1001Updated Oct 4, 2023Oct 4, 2023
    • percy

      Public
      C++ header-only exact synthesis library
      C++
      MIT License
      81500Updated Jan 18, 2023Jan 18, 2023
    • A collection of benchmarks for the generalized resynthesis problem
      MIT License
      1100Updated Jun 22, 2022Jun 22, 2022
    • Verilog
      1010Updated Nov 6, 2021Nov 6, 2021
    • Benchmarks and pattern files used in the simulation-guided Boolean resubstitution paper
      Max
      0100Updated Apr 16, 2021Apr 16, 2021
    • Coq
      2610Updated Apr 13, 2020Apr 13, 2020
    • Experiments for DAC'19 "Scalable Generic Logic Synthesis: One Approach to Rule Them All"
      Python
      0300Updated Apr 16, 2019Apr 16, 2019
    • Experiments for "Compiling Permutations for Superconducting QPUs"
      Python
      MIT License
      0000Updated Nov 29, 2018Nov 29, 2018
    • Micro benchmarking for mockturtle
      CMake
      MIT License
      0000Updated Aug 2, 2018Aug 2, 2018