Man Pages in tkgate

Section 1: Executable programs or shell commands

gmac.1

Microcode and macrocode compiler for tkgate

tkgate.1

Tcl/tk based digital circuit editor and simulator

verga.1

Verrilog simulator for tkgate