Danh sách ID không trùng: ràng buộc từng cặp, không chỉ phần tử kề nhau

Sinh một danh sách ID giao dịch không trùng nhau: tag của các lệnh đang bay, số thứ tự kênh, chỉ số entry trong bảng. Đây là câu phỏng vấn randomize phổ biến nhất sau "mảng có tổng bằng N", vì cách viết đầu tiên mà ai cũng nghĩ ra lại sai.

class id_list;
  rand bit [3:0] ids[];
endclass

Viết constraint sao cho mọi lần randomize() thành công cho ra:

1. ids.size() từ 4 đến 8 (mọi kích thước đều có thể xuất hiện);
2. không ID nào là 0 hay 15 (dự phòng);
3. mọi ID trong danh sách khác nhau từng đôi một.

Không dùng ràng buộc unique của IEEE 1800-2012 (một số công cụ cũ chưa hỗ trợ): viết bằng foreach. Nơi gọi vẫn thêm được ràng buộc inline, ví dụ l.randomize() with { ids.size() == 8; ids[0] == 1; }.

Đề cần simulator hỗ trợ đầy đủ randomize/covergroup của IEEE 1800.