berkeley-abc

Popular repositories Loading

1. abc abc Public

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 1.2k 844

2. abc-zz abc-zz Public

   Niklas Een's ABC/ZZ framework

   C 25 13

3. super_prove super_prove Public

   Python 14 4

4. mvsis mvsis Public

   A copy of the latest version of MVSIS

   C 13 3

5. ext-hello-abc ext-hello-abc Public

   An example for how to add an extension module to ABC without modifying ABC itself.

   C++ 9 1

6. abc-library-cmake abc-library-cmake Public

   An example of using ABC as a Library using CMake

   CMake 5