FCOVLint β SystemVerilog Functional Coverage LinterΒΆ
FCOVLint is an open-source linter for SystemVerilog functional coverage constructs, developed by AsFigo Technologies as part of the BYOL (Build Your Own Linter) framework.
It enforces Verilator-compatible coverage coding practices β covering covergroup structure, bin definitions, cross coverage, sampling events, and coverage options β helping verification teams ship simulation-ready coverage models from day one.
python bin/fcovlint.py -t <your_file.sv>
Rule Reference
- Lint Rules
- AF_FCOV_ARRAY_BIN_LIMIT_VLT
- AF_FCOV_CLASS_MEM_REF_VLT
- AF_FCOV_CONST_OPT_VLT
- AF_FCOV_CROSS_USE_CP_VLT
- AF_FCOV_INTF_IN_MOD_VLT
- AF_FCOV_CR_ABIN_MAX_IN_CROSS_VLT
- AF_FCOV_PERF_NO_EDGE_IMPL_SAMP
- AF_FCOV_FUNC_NO_GOAL_OPT
- AF_FCOV_NO_HIER_CROSS_VLT
- AF_FCOV_FUNC_NO_ILLEGAL_BINS
- AF_FCOV_PERF_NO_IMPL_SAMP
- AF_FCOV_FUNC_NO_MERGE_INST
- AF_FCOV_FUNC_PER_INSTANCE
- AF_FCOV_PERF_USE_CR_ABIN_MAX
- AF_FCOV_CONSEC_RPT_VLT
- AF_FCOV_GOTO_RPT_VLT
- AF_FCOV_NONCONSEC_RPT_VLT
- AF_FCOV_TRANS_RANGE_VLT
- AF_FCOV_TRANS_MULTI_VAL_VLT
- AF_FCOV_STYLE_ENDLABEL