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

Device Family