In reply to Srini @ CVCblr.com:
@Srini - Oh. I get it. So is there a workaround for this? Is there a way we can solve the constraint first?
@mayurkubavat - That seems to be working. Thanks. However, having a function is better in case we want to generalize the number of 1’s in a number (for example if we need a number with 2 hot bits instead of 1).