| ← 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
| ← Top-level Module/Entity | Home | Import Verilator Issues → |