| TableEdge | Verismith.Verilog2005.Token |
| TableIn | Verismith.Verilog2005.Token |
| TableOut | Verismith.Verilog2005.Token |
| tagAlways | Verismith.Reduce |
| takeReplace | Verismith.Reduce |
| Task | |
| 1 (Type/Class) | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| 2 (Data Constructor) | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| TaskEnable | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| taskExpr | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| taskName | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| testBench | Verismith.Verilog.Internal |
| TFBDPort | Verismith.Verilog2005.AST |
| TFBDStd | Verismith.Verilog2005.AST |
| TFBlockDecl | Verismith.Verilog2005.AST |
| TIcarus | Verismith.OptParser |
| TimeCtrl | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| timeout | Verismith.Tool.Internal |
| TimeoutError | Verismith.Tool.Internal |
| timeout_ | Verismith.Tool.Internal |
| TimingCheckEvent | |
| 1 (Type/Class) | Verismith.Verilog2005.AST |
| 2 (Data Constructor) | Verismith.Verilog2005.AST |
| TknPP | Verismith.Verilog2005.Token |
| Token | |
| 1 (Type/Class) | Verismith.Verilog.Token |
| 2 (Data Constructor) | Verismith.Verilog.Token |
| 3 (Type/Class) | Verismith.Verilog2005.Token |
| TokenName | Verismith.Verilog.Token |
| tokenString | Verismith.Verilog.Token |
| TokSVKeyword | Verismith.Verilog2005.Token |
| toMGBlockedItem | Verismith.Verilog2005.Utils |
| toMGIBlockDecl | Verismith.Verilog2005.Utils |
| Tool | Verismith.Tool.Internal |
| top | Verismith.EMI |
| top2 | Verismith.EMI |
| toSpecBlockedItem | Verismith.Verilog2005.Utils |
| toStatement | Verismith.Verilog2005.Utils |
| toStdBlockDecl | Verismith.Verilog2005.Utils |
| toText | Verismith.Tool.Internal |
| trailoptcat | Verismith.Verilog2005.LibPretty |
| traverseModItem | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| trConstifyGenExpr | Verismith.Verilog2005.Utils |
| TXST | Verismith.OptParser |
| TYosys | Verismith.OptParser |