Constraint

In reply to cgales:

Hi,

Thanks for replying.
Did you account for overflow conditions? → No
I have tried to keep my short design and transaction code into edaplayground site.

Design (Block B) has limitation it will only generate the desired output only when
prog_trim <=(prog_out_fll - freq_dec_step).

Thus I am trying to write constraint to generate the prog_trim value as per the above specification.

Edit code - EDA Playground.

The problem here is prog_out_fll is the output of block A so how can we retrieve the value of prog_out_fll in transaction class during constraint writing?