NAME

       berkeley-abc - A System for Sequential Synthesis and Verification

SYNOPSIS

       berkeley-abc [-c cmd] [-f script] [-h] [-o file] [-s] [-t type] [-T type] [-x] [-b] <file>

DESCRIPTION

       This manual page documents briefly the berkeley-abc command.

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

OPTIONS

       -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

AUTHOR

       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)