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 Design rule checks related to DSP blocks inside the FPGA fabric.
synthesis Design rule checks which pertain to the Compiler's Analysis & Synthesis stage.

Device Family

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