Provided by: berkeley-abc_1.01+20180801git3fb3c6b+dfsg-1_amd64
berkeley-abc - A System for Sequential Synthesis and Verification
berkeley-abc [-c cmd] [-f script] [-h] [-o file] [-s] [-t type] [-T type] [-x] [-b] <file>
This manual page documents briefly the berkeley-abc command. berkeley-abc is a program that synthesizes RTL to gate-level logic.
-c cmd execute commands `cmd' -q cmd execute commands `cmd' quietly -C cmd execute commands `cmd', then continue in interactive mode -F script execute commands from a script file and echo commands -f script execute commands from a script file -h print the command usage -o file specify output filename to store the result -s do not read any initialization file -t type specify input type (blif_mv (default), blif_mvs, blif, or none) -T type specify output type (blif_mv (default), blif_mvs, blif, or none) -x equivalent to '-t none -T none' -b running in bridge mode
This manual page was written by Ruben Undheim <email@example.com> for the Debian project (and may be used by others). 22 August 2015 BERKELEY-ABC(1)