BERKELEY-ABC(1)

πŸ“¦ version 1.01+20221019git70cb339, in debian bookworm, ubuntu jammy

πŸ’– 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 commands cmd. just... run them. go off πŸ‘‘
  • -q cmd β€” execute commands cmd quietly. same thing but with the volume turned down, silent-mode main character energy 🀫
  • -C cmd β€” execute commands cmd, 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 are blif_mv (that's the default, btw), blif_mvs, blif, or none. pick your fighter ⭐
  • -T type β€” specify output type. same menu: blif_mv (default), blif_mvs, blif, or none. 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: -t and -T look 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