| Fail | Verismith.Result |
| Failed | Verismith.Tool.Internal |
| fileLines | Verismith.Report, Verismith |
| filterChar | Verismith.Verilog.Mutate |
| filterExpr | Verismith.Reduce |
| filterGr | Verismith.Circuit.Internal |
| findActiveWires | Verismith.Reduce |
| findAssign | Verismith.Verilog.Mutate |
| forAssign | Verismith.Verilog.AST |
| forExpr | Verismith.Verilog.AST |
| forIncr | Verismith.Verilog.AST |
| ForLoop | Verismith.Verilog.AST, Verismith.Verilog, Verismith |
| forLoop | Verismith.Generate |
| forStmnt | Verismith.Verilog.AST |
| fromGraph | Verismith.Circuit, Verismith |
| fromNode | Verismith.Circuit.Internal |
| fromPort | Verismith.Verilog.Mutate |
| fromQuartus | Verismith.Config, Verismith |
| fromQuartusLight | Verismith.Config, Verismith |
| fromVivado | Verismith.Config, Verismith |
| fromXST | Verismith.Config, Verismith |
| fromYosys | Verismith.Config, Verismith |
| Fuzz | |
| 1 (Data Constructor) | Verismith.OptParser, Verismith |
| 2 (Type/Class) | Verismith.Fuzz, Verismith |
| fuzz | Verismith.Fuzz, Verismith |
| fuzzChecker | Verismith.OptParser, Verismith |
| fuzzConfigFile | Verismith.OptParser, Verismith |
| fuzzCrossCheck | Verismith.OptParser, Verismith |
| fuzzDir | Verismith.Report, Verismith |
| fuzzExistingFile | Verismith.OptParser, Verismith |
| fuzzExistingFileTop | Verismith.OptParser, Verismith |
| fuzzForced | Verismith.OptParser, Verismith |
| fuzzInDir | Verismith.Fuzz, Verismith |
| fuzzKeepAll | Verismith.OptParser, Verismith |
| fuzzMultiple | Verismith.Fuzz, Verismith |
| fuzzNoEquiv | Verismith.OptParser, Verismith |
| fuzzNoReduction | Verismith.OptParser, Verismith |
| fuzzNoSim | Verismith.OptParser, Verismith |
| fuzzNum | Verismith.OptParser, Verismith |
| FuzzOpts | |
| 1 (Type/Class) | Verismith.Fuzz, Verismith |
| 2 (Data Constructor) | Verismith.Fuzz, Verismith |
| fuzzOutput | Verismith.OptParser, Verismith |
| FuzzReport | |
| 1 (Type/Class) | Verismith.Report, Verismith |
| 2 (Data Constructor) | Verismith.Report, Verismith |