Mechanism to warn about integer truncation in constants

[mkorbel1]

Motivation

Sometimes one might want to create a Const which requires passing an integer, but the integer doesn't "fit" in the specified width of the constant signal. The current behavior is just truncation, meaning the constant value doesn't match the value of the original int.

Desired solution

A warning, error, exception, or something along those lines making it more difficult to accidentally truncate the desired constant value.

[mkorbel1]

Related discussion: #335

[mkorbel1]

This is also interesting for LogicValue construction

[mkorbel1]

A couple considerations:

• Const should have a flag like allowTruncation or something to override
• negative numbers shouldn't flag this (e.g. -1 has sign extension). One possible way to check is to make sure the int/bigint value after conversion is the same if input is negative int/bigint

[awmoore-intel]

Having this would of saved me a lot of time in my last debug.

+++1