VERGA(1)

📦 version 2.1, in debian bookworm, debian trixie, ubuntu jammy, ubuntu noble, ubuntu questing, ubuntu resolute, ubuntu stonking

💖 VERGA(1) — bestie's guide to the verilog simulator 💖

okay so like. this is the manual page for verga, section 1 of the General Commands Manual, and honestly? it's giving "small tool, big energy." let's get into it 🫶

✨ NAME ✨

verga — the VERrilog simulator for tkGAte, aka the little engine that makes your gate-level dreams come true 🌸

🌈 SYNOPSIS 🌈

verga [-eslqi] [-d dtype] [-S script] [-P mods] [-t mod] [-B dir] [-D
hash] [-W wmode] [files...]

like. look at her. a whole lil arsenal of flags and she's ready to go 💅

🦋 DESCRIPTION 🦋

So verga is a verilog simulator built to run alongside tkgate — that's her main character era — but plot twist, she can also fly solo as a stand-alone simulator</> ✨. no tkgate required, she's versatile like that.

the docs live here, no cap:

https://bitbucket.org/starling13/tkgate

go read them. i'll wait 💖

🎀 OPTIONS 🎀

okay bestie, here's the full rundown. every single one. i'm not skipping a thing, periodt.

  • -e — dumps the list of error codes plus the messages that go with them, the ones verga can actually produce. mostly a developer thing, so like, if that's not you, that's okay 💀
  • -s — scans a Verilog file and spits out info about its modules and nets</> 🌸. also mostly used internally by tkgate, iykyk.
  • -l — shows the verga license 📜. read it, bestie, it's good for you.
  • -q — runs in 'quiet' mode, which suppresses all the extraneous messages. she's shy. she's chill. she's not gonna yap 🙈
  • -i — runs in 'interactive' mode ✨. this one is intended primarily for when verga is being invoked by tkgate — so like, the group chat version of running her.
  • -d dtype — the type of delays to use. can be 'min', 'max' or 'typical'. pick your vibe 💅
  • -S script — loads simulation scripts, and it does it for each -S switch. stack 'em up, queen 👑
  • -P mod — prints the named module out of the parsed structure, once for each -P you specify. very "show me the receipts" energy 🔥
  • -t mod — overrides the default and declares mod as the top-level module. she said "i'M the main character now" 😌
  • -B dir — the directory to use as the base directory when loading files 📂
  • -D hash — deletes the input files after loading, but only if hash exactly matches a hash code computed on the file name. like, exact exact. and listen — this option should only be used by tkgate, which writes the file it wants to simulate to a temporary file before invoking the simulator. so don't go rogue with it, bestie 😭
  • -W wmode — the mode for handling warning messages. the values are:
    • 1 — "ignore warnings" 🙈
    • 2 — "report warnings only if there were errors"
    • 3 — "always report warnings" 📢
    • 4 — "always report warnings and stop simulator even if only warnings" 💀 like, she will literally halt. dramatic. iconic. respect.

👑 HISTORY & CREDITS 👑

gather round, because this origin story is a whole saga 🧚

TkGate began life as an undergraduate project at Carnegie Mellon University (CMU) in 1987. back then it was just called 'gate' and it ran under the 'wm' window manager — a windowing system developed at CMU before X11 was widely used. in this incarnation, students in the computer architecture course at CMU used it to develop a simple microprocessor, which they dubbed "The Bat Computer" 🦇 iconic name, no notes.

then it laid dormant for several years. nap era 😴

it got resurrected in 1991 and ported to run under X11 with the Xlib API. in this incarnation, students in the introductory digital logic course used it several times — but after the author graduated and left CMU, it went into hibernation again 💤

and then: this Tcl/Tk incarnation was begun in 1998 ✨

and yes, there is "certainly some cruftyness in the implementation in places" because of all the multiple reincarnations — the author said it, not me 😭 — but so many new features have been added since the older wm and X11 versions, and the interface has been made much easier to use. glow up fr fr 🌈

🌸 SEE ALSO 🌸

go read those too, bestie, expand your horizons 💜

💜 AUTHOR 💜

  • Jeffery Hansen (hansen@tkgate.org)
  • Andrey V. Skvortsov (starling13@gmail.com)

two absolute legends 🫶

  • Copyright (c) 1987-2015 by Jeffery Hansen
  • Copyright (C) 2015-2018 by Andrey V. Skvortsov

and that's the whole page, bestie 🎀 this was VERGA(1) from the General Commands Manual — that's the source and the section, right there, no date on it, that's just how she is. go simulate something gorgeous. slay 💅✨

📦 where this page comes from