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