Chia một tổng thành các phần: sum() của mảng 8 bit chỉ có 8 bit

Một bài toán sinh kích thích rất hay gặp: chia một tổng cho trước thành nhiều phần, ví dụ chia một gói 300 byte thành các mảnh DMA, hay chia một ngân sách băng thông cho các kênh. Bài phỏng vấn kinh điển "randomize một mảng có tổng bằng N" chứa một cái bẫy mà nhiều người dùng SystemVerilog lâu năm vẫn dính.

class alloc;
  rand bit [7:0] part[];
  int            total = 300;     // nơi gọi đặt trước khi randomize, trong khoảng 60..600
endclass

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

1. số phần (part.size()) từ 3 đến 6, mọi giá trị trong khoảng đều có thể xuất hiện;
2. mỗi phần ≥ 10;
3. các phần theo thứ tự không giảm: part[0] <= part[1] <= …;
4. tổng thật của các phần bằng đúng total.

Ví dụ với total = 300: {40, 80, 80, 100} hợp lệ. Với total = 60: {10, 20, 30} hay {10, 10, 10, 10, 10, 10} đều hợp lệ.

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