Skip to content

@berkeley-abc berkeley-abc

Change the repository type filter

All

    Repositories list

    5 repositories

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •586•898•145•30•Updated Oct 23, 2024Oct 23, 2024

    • abc-zz

      Public
      Niklas Een's ABC/ZZ framework
      C
      •
      Other
      •9•19•0•1•Updated May 14, 2022May 14, 2022

    • ext-hello-abc

      Public
      An example for how to add an extension module to ABC without modifying ABC itself.
      C++
      •
      MIT License
      •0•5•0•0•Updated Mar 14, 2018Mar 14, 2018

    • abc-library-cmake

      Public
      An example of using ABC as a Library using CMake
      CMake
      •
      MIT License
      •0•3•0•0•Updated Mar 14, 2018Mar 14, 2018

    • super_prove

      Public
      Python
      •1•9•2•0•Updated Mar 12, 2018Mar 12, 2018