berkeley-abc1
A system for sequential synthesis and verification
Usage
berkeley-abc [-c
cmd]
[-f
script]
[-h]
[-o
file]
[-s]
[-t
type]
[-T
type]
[-x]
[-b]
<file>
Overview
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
Releases
5 releases since Debian 8 (Jessie); the text changed 1 time.
-C since Debian 9 (Stretch);
-F since Debian 9 (Stretch);
-T since Debian 9 (Stretch);
-b since Debian 9 (Stretch);
-c since Debian 9 (Stretch);
-f since Debian 9 (Stretch);
-h since Debian 9 (Stretch);
-o since Debian 9 (Stretch);
-q since Debian 9 (Stretch);
-s since Debian 9 (Stretch);
-t since Debian 9 (Stretch);
-x since Debian 9 (Stretch).