.\" Text automatically generated by txt2man
.TH BERKELEY-ABC 1 "22 August 2015" "" ""
.SH NAME
\fBberkeley-abc \fP- A System for Sequential Synthesis and Verification
\fB
.SH SYNOPSIS
.nf
.fam C
\fBberkeley-abc\fP [\fB-c\fP \fIcmd\fP] [\fB-f\fP \fIscript\fP] [\fB-h\fP] [\fB-o\fP \fIfile\fP] [\fB-s\fP] [\fB-t\fP \fItype\fP] [\fB-T\fP \fItype\fP] [\fB-x\fP] [\fB-b\fP] <\fIfile\fP>

.fam T
.fi
.fam T
.fi
.SH DESCRIPTION
This manual page documents briefly the \fBberkeley-abc\fP command.
.PP
\fBberkeley-abc\fP is a program that synthesizes RTL to gate-level logic.
.SH OPTIONS
.TP
.B
\fB-c\fP \fIcmd\fP
execute commands `\fIcmd\fP'
.TP
.B
\fB-q\fP \fIcmd\fP
execute commands `\fIcmd\fP' quietly
.TP
.B
\fB-C\fP \fIcmd\fP
execute commands `\fIcmd\fP', then continue in interactive mode
.TP
.B
\fB-F\fP \fIscript\fP
execute commands from a \fIscript\fP \fIfile\fP and echo commands
.TP
.B
\fB-f\fP \fIscript\fP
execute commands from a \fIscript\fP \fIfile\fP
.TP
.B
\fB-h\fP
print the command usage
.TP
.B
\fB-o\fP \fIfile\fP
specify output filename to store the result
.TP
.B
\fB-s\fP
do not read any initialization \fIfile\fP
.TP
.B
\fB-t\fP \fItype\fP
specify input \fItype\fP (blif_mv (default), blif_mvs, blif, or none)
.TP
.B
\fB-T\fP \fItype\fP
specify output \fItype\fP (blif_mv (default), blif_mvs, blif, or none)
.TP
.B
\fB-x\fP
equivalent to '\fB-t\fP none \fB-T\fP none'
.TP
.B
\fB-b\fP
running in bridge mode
.RE
.PP



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