| Fail | Verismith.Result |
| Failed | Verismith.Tool.Internal |
| FCaseItem | |
| 1 (Type/Class) | Verismith.Verilog2005.AST |
| 2 (Data Constructor) | Verismith.Verilog2005.AST |
| fileLines | Verismith.Report, Verismith |
| filterChar | Verismith.Verilog.Mutate |
| filterExpr | Verismith.Reduce |
| filterGr | Verismith.Circuit.Internal |
| findActiveWires | Verismith.Reduce |
| findAssign | Verismith.Verilog.Mutate |
| foldrMap1 | Verismith.Utils |
| foldrMap1' | Verismith.Utils |
| foldrMapM1 | Verismith.Utils |
| 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 |
| fromMGBlockedItem | Verismith.Verilog2005.Utils |
| fromMGBlockedItem1 | Verismith.Verilog2005.Utils |
| fromMGBlockedItem_add | Verismith.Verilog2005.Utils |
| fromMGIBlockDecl1 | Verismith.Verilog2005.Utils |
| fromMGIBlockDecl_add | Verismith.Verilog2005.Utils |
| fromMybStmt | Verismith.Verilog2005.Utils |
| fromNode | Verismith.Circuit.Internal |
| fromPort | Verismith.Verilog.Mutate |
| fromQuartus | Verismith.Config, Verismith |
| fromQuartusLight | Verismith.Config, Verismith |
| fromSpecBlockedItem | Verismith.Verilog2005.Utils |
| fromStatement | Verismith.Verilog2005.Utils |
| fromVivado | Verismith.Config, Verismith |
| fromXST | Verismith.Config, Verismith |
| fromYosys | Verismith.Config, Verismith |
| FSBlock | Verismith.Verilog2005.AST |
| FSBlockAssign | Verismith.Verilog2005.AST |
| FSCase | Verismith.Verilog2005.AST |
| FSDisable | Verismith.Verilog2005.AST |
| FSIf | Verismith.Verilog2005.AST |
| FSLoop | Verismith.Verilog2005.AST |
| FunctionStatement | Verismith.Verilog2005.AST |
| Fuzz | |
| 1 (Type/Class) | Verismith.Fuzz, Verismith |
| 2 (Data Constructor) | Verismith.OptParser, 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 |
| fuzzMultipleEMI | 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 |