| ← Top-level Module/Entity | Home | Import Verilator Issues → |
BugFinder
BugFinder is a scan engine that provides additional rules based on synthesized code analysis. Those advanced rules will help you detect bugs and improve reliability of your IPs. BugFinder embeds Tabby CAD Suite from YosysHQ to synthesize your code.
BugFinder rules are tagged as bug-finder.
Usage
Activate some rules tagged
as bug-finder and scan your code with
the Linty Scanner.
Debug
Debug information are available in the bugfinder_workdir directory at the root of your project:
build.tclis the script that is run to synthesize your code and gather information for BugFinder rules- The
logsdirectory contains anoutput.logfile that is the output of the synthesis execution and gathering of information for BugFinder rules *.jsonfiles are data gathered from the synthesized output to feed the Lintybug-finderrules
Additional information that cannot be displayed on the web interface (for now)
Design graph of each module
In the bugfinder_workdir/design directory, for each module, is stored its design graph.
Additional information for some rules
For instance,
for Combinatorial loops should be removed
rule, combinatorial loops are highlighted in design graphs (bugfinder_workdir/combinatorial_loops directory).
| ← Top-level Module/Entity | Home | Import Verilator Issues → |