Popular repositories Loading

1. abc abc Public

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 1k 638

2. abc-zz abc-zz Public

   Niklas Een's ABC/ZZ framework

   C 22 12

3. mvsis mvsis Public

   A copy of the latest version of MVSIS

   C 11 3

4. super_prove super_prove Public

   Python 11 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++ 7

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

   An example of using ABC as a Library using CMake

   CMake 4