1. A method of converting a mask constraint into a bitset constraint, the method comprising: determining an intermediate bitset based on a variable-bit component of said mask constraint; and generating said bitset constraint based on said intermediate bitset and on a fixed-bit component of said mask constraint.