| Fail | Verismith.Result |
| Failed | Verismith.Sim.Internal |
| fileLines | Verismith.Report, Verismith |
| fileName | Verismith |
| filterChar | Verismith.Verilog.Mutate |
| filterExpr | Verismith.Reduce |
| filterGr | Verismith.Circuit.Internal |
| findActiveWires | Verismith.Reduce |
| findAssign | Verismith.Verilog.Mutate |
| forAssign | Verismith.Verilog.AST |
| forced | Verismith |
| 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 |
| fromVivado | Verismith.Config, Verismith |
| fromXST | Verismith.Config, Verismith |
| fromYosys | Verismith.Config, Verismith |
| Fuzz | |
| 1 (Type/Class) | Verismith.Fuzz, Verismith |
| 2 (Data Constructor) | Verismith |
| fuzz | Verismith.Fuzz, Verismith |
| fuzzDir | Verismith.Report, Verismith |
| fuzzInDir | Verismith.Fuzz, Verismith |
| fuzzMultiple | Verismith.Fuzz, Verismith |
| fuzzOutput | Verismith |
| FuzzReport | |
| 1 (Type/Class) | Verismith.Report, Verismith |
| 2 (Data Constructor) | Verismith.Report, Verismith |