Hàng đợi ưu tiên ổn định (stable priority queue)

Hàng đợi ưu tiên là cấu trúc dữ liệu của arbiter, scheduler và bộ điều khiển ngắt. Trong testbench, nó là mô hình tham chiếu cho một arbiter ưu tiên cố định hay một hệ thống QoS. Yêu cầu ổn định (stable) là điểm hay bị bỏ qua: các yêu cầu cùng mức ưu tiên phải được phục vụ theo thứ tự đến, nếu không sẽ có yêu cầu bị "bỏ đói".

class prio_q;
  function void insert(int prio, int val);   // prio từ 0 đến 15, số lớn = ưu tiên cao
  function bit  pop(output int val);         // lấy phần tử prio lớn nhất; cùng prio thì phần tử vào TRƯỚC ra trước;
                                             //   rỗng: trả 0, val = 0
  function bit  peek(output int val);        // như pop nhưng không lấy ra
  function int  size();
  function int  max_prio();                  // prio lớn nhất hiện có; rỗng: -1
endclass

Ví dụ: insert(2, 100), insert(5, 200), insert(2, 300), insert(5, 400). Bốn lần pop cho lần lượt 200, 400, 100, 300.