FLP-10100: Large Multipliers are Decomposed

Description

Large (wide) multipliers are present that the Compiler automatically decomposes, significantly increasing the difficulty of successfully formally verifying the result.

Recommendation

Decompose the multipliers manually below the large multiplier threshold.

Severity

Low

Tags

Tag Description
dsp  
synthesis  

Device Family

  • Intel® Agilex™
  • Intel® Stratix® 10
  • Intel® Arria® 10