Skip to content

@Logic-Factory Logic Factory

Change the repository type filter

All

    Repositories list

    7 repositories

    • ACE

      Public
      Verilog
      •1•5•0•0•Updated Nov 19, 2024Nov 19, 2024

    • LogicFactory

      Public
      Logic Synthesis Platform
      eda
      C++
      •1•5•0•0•Updated Oct 16, 2024Oct 16, 2024

    • mockturtle

      Public
      C++ logic network library
      C++
      •
      MIT License
      •143•0•0•0•Updated Oct 15, 2024Oct 15, 2024

    • iEDA

      Public
      C++
      •
      Other
      •34•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •596•0•0•0•Updated Jun 26, 2024Jun 26, 2024

    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      •
      ISC License
      •894•0•0•0•Updated Jun 13, 2024Jun 13, 2024

    • lorina

      Public
      C++ parsing library for simple formats used in logic synthesis and formal verification
      C++
      •
      MIT License
      •20•0•0•0•Updated May 30, 2024May 30, 2024