Automatic waiver generation for filtering violations reported by static analysis

A system comprising:

• a memory storing instructions;
• and
• a processing device, coupled with the memory and to execute the instructions, the instructions when executed cause the processing device to:
• execute a machine learning model that generates recommendations for waivers of violations;
• wherein the violations were generated by a static analysis of register transfer level (RTL) code for a design, the violations are tagged to code snippets of the RTL code, and the recommendations are generated by the machine learning model based on the violations and the tagged code snippets;
• and wherein the machine learning model was trained using a training set of samples, each sample comprising a sample code snippet of register transfer level (RTL) code;
• and
• automatically take actions to implement the recommended waivers.

A non-transitory computer readable medium comprising stored instructions, which when executed by a processing device, cause the processing device to:

• access a design database containing register transfer level (RTL) code for a current design;
• access a violations database containing violations generated by a static analysis of the RTL code, wherein the violations are tagged to code snippets of the RTL code;
• and
• generate, by a machine learning model executing on a processing device, recommendations for waivers of the violations, based on the violations and the corresponding tagged code snippets;
• wherein the machine learning model was trained using a training set of samples, each sample comprising a code snippet of register transfer level (RTL) code, a violation for that code snippet generated by a static analysis of the RTL code, and waiver information applicable to the violation.