| EAll | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| ECDeps | Verismith.Verilog2005.AST |
| ECExpr | Verismith.Verilog2005.AST |
| ECIdent | Verismith.Verilog2005.AST |
| EComb | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| Edge | Verismith.Verilog2005.AST |
| EdgeDesc | |
| 1 (Data Constructor) | Verismith.Verilog2005.AST |
| 2 (Type/Class) | Verismith.Verilog2005.AST |
| EdgeEdge | Verismith.Verilog2005.Token |
| EdgePos_neg | Verismith.Verilog2005.AST |
| EExpr | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EId | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| emiConfigFile | Verismith.OptParser, Verismith |
| EMIContext | |
| 1 (Type/Class) | Verismith.Generate |
| 2 (Data Constructor) | Verismith.Generate |
| emiContext | Verismith.Generate |
| emiForced | Verismith.OptParser, Verismith |
| emiInputFile | Verismith.OptParser, Verismith |
| EMIInputs | |
| 1 (Type/Class) | Verismith.EMI |
| 2 (Data Constructor) | Verismith.EMI |
| emiKeepAll | Verismith.OptParser, Verismith |
| emiNewInputs | Verismith.Generate |
| emiNoEquiv | Verismith.OptParser, Verismith |
| emiNoReduction | Verismith.OptParser, Verismith |
| emiNoSim | Verismith.OptParser, Verismith |
| emiNum | Verismith.OptParser, Verismith |
| EMIOpts | Verismith.OptParser, Verismith |
| EMIOrig | Verismith.EMI |
| emiOutput | Verismith.OptParser, Verismith |
| emiTopModule | Verismith.OptParser, Verismith |
| emptyDistance | Verismith.Verilog.Distance |
| EmptyFail | Verismith.Tool.Internal |
| emptyMod | Verismith.Verilog.Internal |
| encl | Verismith.Verilog2005.LibPretty |
| encodeConfig | Verismith.Config, Verismith |
| encodeConfigFile | Verismith.Config, Verismith |
| ENegEdge | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EOr | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EPAny | Verismith.Verilog2005.AST |
| EPNeg | Verismith.Verilog2005.AST |
| EPosEdge | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EPPos | Verismith.Verilog2005.AST |
| eqDistance | Verismith.Verilog.Distance |
| equals | Verismith.Verilog2005.LibPretty |
| Equiv | Verismith.OptParser, Verismith |
| equivChecker | Verismith.OptParser, Verismith |
| EquivError | Verismith.Tool.Internal |
| EquivFail | Verismith.Tool.Internal |
| equivFilenameA | Verismith.OptParser, Verismith |
| equivFilenameB | Verismith.OptParser, Verismith |
| equivFileTop | Verismith.OptParser, Verismith |
| equivOutput | Verismith.OptParser, Verismith |
| equivTime | Verismith.Report, Verismith |
| eval | Verismith.Verilog.Distance |
| evalRange | Verismith.Generate |
| evaluateConst | Verismith.Verilog.Eval |
| Event | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EventControl | Verismith.Verilog2005.AST |
| EventCtrl | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| EventPrefix | Verismith.Verilog2005.AST |
| EventPrim | |
| 1 (Type/Class) | Verismith.Verilog2005.AST |
| 2 (Data Constructor) | Verismith.Verilog2005.AST |
| execute | Verismith.Tool.Internal |
| execute_ | Verismith.Tool.Internal |
| Expr | |
| 1 (Type/Class) | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| 2 (Type/Class) | Verismith.Verilog2005.AST |
| 3 (Data Constructor) | Verismith.Verilog2005.AST |
| expr2netlv | Verismith.Verilog2005.Utils |
| ExprBinOp | Verismith.Verilog2005.AST |
| ExprCond | Verismith.Verilog2005.AST |
| ExprPrim | Verismith.Verilog2005.AST |
| exprRecList | Verismith.Generate |
| exprSafeList | Verismith.Generate |
| exprToConst | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| ExprUnOp | Verismith.Verilog2005.AST |
| exprWithContext | Verismith.Generate |