N-Queens-SystemVerilog-constraint