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