BERKELEY-ABC(1)
π BERKELEY-ABC(1) π
okay bestie, sit DOWN, because we're about to talk about berkeley-abc, aka A System for Sequential Synthesis and Verification. yes that's the whole vibe. it's giving β¨hardware girlieβ¨ and honestly? we're obsessed.
πΈ SYNOPSIS πΈ
berkeley-abc [-c cmd] [-f script] [-h] [-o file] [-s] [-t type] [-T type] [-x] [-b] <file>
that's the whole little recipe right there. options first, then the file, periodt π
π¦ DESCRIPTION π¦
so like, this manual page is just a brief little intro to the berkeley-abc command, no cap. it's not the whole lore, it's the trailer π¬
and what does berkeley-abc actually do? it's a program that synthesizes RTL to gate-level logic. that's it. that's the whole job. RTL goes in, gate-level logic comes out, and the vibes are immaculate π
β¨ OPTIONS β¨
here's where it gets juicy. every single one, no skipping, we don't do that here π«Ά
-c cmdβ execute commandscmd. just... run them. go off π-q cmdβ execute commandscmdquietly. same thing but with the volume turned down, silent-mode main character energy π€«-C cmdβ execute commandscmd, then keep going in interactive mode. so it does the thing and then sticks around to chat π¬-F scriptβ execute commands from a script file and echo commands. loud and proud, we love a transparent moment π’-f scriptβ execute commands from a script file. no echo, just business π-hβ print the command usage. the classic "help me bestie" flag π-o fileβ specify output filename to store the result. you're telling it where to put the goods π-t typeβ specify input type. your choices areblif_mv(that's the default, btw),blif_mvs,blif, ornone. pick your fighter β-T typeβ specify output type. same menu:blif_mv(default),blif_mvs,blif, ornone. capital T, different job, don't mix them up π-xβ equivalent to-t none -T none. it's a little shortcut, iykyk π₯-bβ running in bridge mode. yes it's a whole thing, and yes it's iconic π
ok quick note bestie:-tand-Tlook basically identical and they are NOT. lowercase is input, uppercase is output. do not confuse them or you'll be sad π
π AUTHOR π
this manual page was written by Ruben Undheim <ruben.undheim@gmail.com> for the Debian project (and may be used by others). shoutout to Ruben, absolute legend π«Ά
and that's the whole page, bestie!! this gem is dated 22 August 2015 and it lives under the name BERKELEY-ABC(1). go synthesize something gorgeous β¨ππ¦
π¦ where this page comes from
- debian bookworm: berkeley-abc 1.01+20221019git70cb339+dfsg-4 Β· University-of-California-Berkeley
- ubuntu jammy: berkeley-abc 1.01+20211229git48498af+dfsg-2 Β· University-of-California-Berkeley
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms