This is the command berkeley-abc that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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
Use berkeley-abc online using onworks.net services
