In reply to vybhava:
I use ies12.10.008, ies12.20.006 and VCS2012.09beta for this method of constraint. But it doesn’t work. In this version of tools, we can use $countones(vec_1) to calculate the number of bit 1, but not use this system function in constraint. Please tell me which version and tools you used for this method. Thank you.