---
name: "berkeley-abc"
section: "1"
platform: "linux"
package: "berkeley-abc"
version: "1.01+20221019git70cb339+dfsg-4"
release: "Debian 12 (Bookworm)"
platforms: ["linux"]
url: "https://new.carta.tech/berkeley-abc"
---

# berkeley-abc(1)

A System for Sequential Synthesis and Verification

## 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).**