Case statement inside constraint

In reply to dave_59:

Let me try,
when a is 0-8, length of b would be 8 bits - 0 bit.

Can you help me with this?