A way to write constraint which allocates active channels to ports

[ledzep_1988]

rand int port0[];
rand int port1[];

constraint output_sel_c{

port0 inside {[0:16]};
port1 inside {[0:16]};
port0.size() + port1.size() <= 16;
unique{port0,port1};

}