berkeley-abc - A System for Sequential Synthesis and Verification

       This  manual  page was written by Ruben Undheim <ruben.undheim@gmail.com> for the Debian project (and may
       be used by others).

                                                 22 August 2015                                  BERKELEY-ABC(1)

       This manual page documents briefly the berkeley-abc command.

       berkeley-abc is a program that synthesizes RTL to gate-level logic.

berkeley-abc - A System for Sequential Synthesis and Verification

-ccmd execute commands `cmd'

       -qcmd execute commands `cmd' quietly

       -Ccmd execute commands `cmd', then continue in interactive mode

       -Fscript
              execute commands from a scriptfile and echo commands

       -fscript
              execute commands from a scriptfile-h     print the command usage

       -ofile
              specify output filename to store the result

       -s     do not read any initialization file-ttype
              specify input type (blif_mv (default), blif_mvs, blif, or none)

       -Ttype
              specify output type (blif_mv (default), blif_mvs, blif, or none)

       -x     equivalent to '-t none -T none'

       -b     running in bridge mode

berkeley-abc [-ccmd] [-fscript] [-h] [-ofile] [-s] [-ttype] [-Ttype] [-x] [-b] <file>