| randomDAG | Verismith.Circuit.Random, Verismith.Circuit, Verismith |
| randomMod | Verismith.Generate, Verismith |
| Range | |
| 1 (Type/Class) | Verismith.Verilog.AST |
| 2 (Data Constructor) | Verismith.Verilog.AST |
| range | Verismith.Generate |
| Range2 | |
| 1 (Type/Class) | Verismith.Verilog2005.AST |
| 2 (Data Constructor) | Verismith.Verilog2005.AST |
| RangeExpr | Verismith.Verilog2005.AST |
| rangeLSB | Verismith.Verilog.AST |
| rangeMSB | Verismith.Verilog.AST |
| RangeSelect | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| rangle | Verismith.Verilog2005.LibPretty |
| raw | Verismith.Verilog2005.LibPretty |
| rbrace | Verismith.Verilog2005.LibPretty |
| rbracket | Verismith.Verilog2005.LibPretty |
| rDups | Verismith.Circuit.Random, Verismith.Circuit, Verismith |
| rDupsCirc | Verismith.Circuit.Random, Verismith.Circuit, Verismith |
| Reduce | Verismith.OptParser, Verismith |
| reduce | Verismith.Reduce |
| ReduceAnn | Verismith.Reduce |
| Reduced | Verismith.Reduce |
| reduceFilename | Verismith.OptParser, Verismith |
| reduceRerun | Verismith.OptParser, Verismith |
| reduceScript | Verismith.OptParser, Verismith |
| reduceSimIc | Verismith.Reduce |
| reduceSynth | Verismith.Reduce |
| reduceSynthesis | Verismith.Reduce |
| reduceSynthesiserDesc | Verismith.OptParser, Verismith |
| reduceTop | Verismith.OptParser, Verismith |
| reduceWithScript | Verismith.Reduce |
| reduce_ | Verismith.Reduce |
| reducTime | Verismith.Report, Verismith |
| Reg | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| reg | Verismith.Verilog.Internal |
| regConc | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| RegConcat | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regDecl | Verismith.Verilog.Internal |
| RegExpr | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regExpr | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regExprId | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| RegId | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regId | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regroup | Verismith.Verilog2005.Utils |
| RegSize | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regSizeId | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| regSizeRange | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| remdist | Verismith.Verilog.Distance |
| removeAnn | Verismith.Verilog.AST |
| removeAt | Verismith.Verilog.Distance |
| removeConstInConcat | Verismith.Reduce |
| removeDecl | Verismith.Reduce |
| removeId | Verismith.Verilog.Mutate |
| renameExample | Verismith.Shuffle |
| renameExpr | Verismith.Shuffle |
| renameIdent | Verismith.Shuffle |
| renameSource | Verismith.Tool.Internal |
| renameVariables | Verismith.Shuffle |
| renameVariablesIO | Verismith.Shuffle |
| renameVariablesModule | Verismith.Shuffle |
| render | Verismith.Verilog.CodeGen |
| replace | |
| 1 (Function) | Verismith.Tool.Internal |
| 2 (Function) | Verismith.Verilog.Mutate |
| Replacement | Verismith.Reduce |
| replaceMods | Verismith.Tool.Internal |
| resize | Verismith.Verilog.Eval |
| resizePort | Verismith.Generate |
| Result | Verismith.Result |
| ResultSh | Verismith.Tool.Internal |
| resultSh | Verismith.Tool.Internal |
| ResultT | |
| 1 (Type/Class) | Verismith.Result |
| 2 (Data Constructor) | Verismith.Result |
| rootPath | Verismith.Tool.Internal |
| rparen | Verismith.Verilog2005.LibPretty |
| runEquiv | Verismith.Tool.Yosys, Verismith.Tool, Verismith |
| runEquivalence | Verismith |
| runEquivYosys | Verismith.Tool.Yosys |
| runFuzz | Verismith.Fuzz, Verismith |
| runGarbageGeneration | Verismith.Verilog2005.Generator, Verismith.Verilog2005 |
| runReduce | Verismith |
| runResultT | Verismith.Result |
| runShuffle | Verismith.Shuffle |
| runSim | Verismith.Tool.Internal, Verismith.Tool, Verismith |
| runSimIc | Verismith.Tool.Icarus |
| runSimIcEC | Verismith.Tool.Icarus |
| runSimIcEMI | Verismith.Tool.Icarus |
| runSimulation | Verismith |
| runSimWithFile | Verismith.Tool.Internal |
| runSynth | Verismith.Tool.Internal, Verismith.Tool, Verismith |