Skip to content
@lsils

lsils

Pinned Loading

  1. mockturtle Public

    C++ logic network library

    C++ 223 145

  2. lstools-showcase Public

    Showcase examples for EPFL logic synthesis libraries

    CSS 192 31

  3. benchmarks Public

    EPFL logic synthesis benchmarks

    Verilog 179 36

  4. bill Public

    C++ header-only reasoning library

    C 13 7

  5. percy Public

    Forked from whaaswijk/percy

    C++ header-only exact synthesis library

    C++ 16 4

  6. SCE-benchmarks Public

    Optimization results for superconducting electronic (SCE) circuits

    Verilog 12 1

Repositories

Showing 10 of 17 repositories
  • mockturtle Public

    C++ logic network library

    C++ 223 MIT 145 11 3 Updated Oct 19, 2024
  • benchmarks Public

    EPFL logic synthesis benchmarks

    Verilog 179 MIT 36 1 0 Updated Aug 26, 2024
  • bill Public

    C++ header-only reasoning library

    C 13 MIT 7 0 2 Updated Jul 11, 2024
  • alice Public Forked from msoeken/alice

    C++ command shell library

    C++ 1 MIT 11 0 0 Updated May 7, 2024
  • lstools-showcase Public

    Showcase examples for EPFL logic synthesis libraries

    CSS 192 MIT 31 0 0 Updated Apr 5, 2024
  • abc-staticlib Public Forked from berkeley-abc/abc

    Changes needed to compile ABC as a static library and interface with mockturtle

    C 2 617 0 0 Updated Mar 4, 2024
  • benchmarks-mig Public

    Best MIG-mapped results of EPFL benchmarks

    Verilog 0 0 1 0 Updated Feb 27, 2024
  • SCE-benchmarks Public

    Optimization results for superconducting electronic (SCE) circuits

    Verilog 12 MIT 1 0 0 Updated Dec 5, 2023
  • exorcism Public

    Stand-alone library for ABC's exorcism

    C++ 0 1 0 1 Updated Oct 4, 2023
  • percy Public Forked from whaaswijk/percy

    C++ header-only exact synthesis library

    C++ 16 MIT 8 0 0 Updated Jan 18, 2023
View all repositories