This test is similar to the ones in https://github.com/chipsalliance/UHDM-integration-tests/pull/610.
It can't be passed with current Surelog, because the Surelog substitutes (P + 2) by constant 3, even in uhdmAllModules section. The constant 3 is proper only in case of first instance.
This test is similar to the ones in https://github.com/chipsalliance/UHDM-integration-tests/pull/610. It can't be passed with current Surelog, because the Surelog substitutes
(P + 2)
by constant3
, even in uhdmAllModules section. The constant3
is proper only in case of first instance.