Package tkgate

• gmac(1) — Microcode and Macrocode Compiler for TkGate
• tkgate(1) — Tcl/Tk based digital circuit editor and simulator
• verga(1) — VERrilog simulator for tkGAte