abc 0.0-1.5ae4b97 Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
- Website: https://people.eecs.berkeley.edu/~alanmi/abc/
- License: non-copyleft
- Package source: fpga.scm
- Patches: None
- Builds: x86_64-linux, i686-linux