Popular repositories Loading

1. abc abc Public

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C 996 635

2. abc-zz abc-zz Public

   Niklas Een's ABC/ZZ framework

   C 22 11

3. super_prove super_prove Public

   Python 11 3

4. mvsis mvsis Public

   A copy of the latest version of MVSIS

   C 10 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