abc 0.0-1.5ae4b97 Sequential logic synthesis and formal verification
ABC is a program for sequential logic synthesis and formal verification.
- Webauftritt: https://people.eecs.berkeley.edu/~alanmi/abc/
- Lizenz: non-copyleft
- Paketquellcode: fpga.scm
- Patches: Keine
- Erstellungen: x86_64-linux, i686-linux