A system for sequential synthesis and verification
berkeley-abc [options] <infile>
This manual page documents briefly the berkeley-abc command.
berkeley-abc is a program that synthesizes RTL to gate-level logic.
A summary of options is included below.
berkeley-abc was written by Berkeley Logic Synthesis and Verification Group.
This manual page was written by Ruben Undheim <[email protected]>, for the Debian project (and may be used by others).