Verilog Translator

В Fortress эта возможность появилась - нужно использовать.

Подставлять параметры нельзя, они могут быть изменены при инстанциации. Можно подставлять localparam (это нужно проверить).

1. чистое константное выражение;
2. выражение, зависящее от параметра.

Выполняется схлопывание константных выражений. После этого константные выражения становятся константами.

1. expression.isConstant() - проверка, является ли выражение константным.
2. expression.evaluate() - получение значения выражения (null, если выражение не является константным).
3. expression.evaluateInteger() - результат типа int (-1, если выражение не является константным).
4. expression.evaluate(parameters) - получение значения выражения для заданных значений параметров (null, если не все параметры заданы).
5. expression.evaluateInteger(parameters) - результат типа int (-1, если выражение не является константным).

Вместо int использовать BigInteger.