forked from berkeley-abc/abc
-
Notifications
You must be signed in to change notification settings - Fork 0
ABC: System for Sequential Logic Synthesis and Formal Verification
License
AnaMBomfim/abc
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
ABC: System for Sequential Logic Synthesis and Formal Verification
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- C 97.2%
- C++ 2.3%
- HTML 0.4%
- Makefile 0.1%
- CMake 0.0%
- Perl 0.0%