Randomize address equal to 2 to the power of values

[dave_59]

In reply to ranju2894:

  constraint c_addr {temp == 3**addr;}