Danh sách liên kết đơn: đảo tại chỗ và xoá theo giá trị

SystemVerilog có sẵn queue nên ít ai tự viết danh sách liên kết. Nhưng đây là bài phỏng vấn kiểm tư duy về handle: biến class là con trỏ, null là giá trị hợp lệ, và gán handle chỉ chép con trỏ chứ không chép đối tượng. Hiểu chắc điều này là nền cho scoreboard, transaction pool và mọi cấu trúc dữ liệu trong testbench UVM.

class node;
  int  val;
  node next;
  function new(int v = 0); val = v; endfunction
endclass

class int_list;
  node head, tail;                          // rỗng: cả hai là null
  function void push_front(int v);
  function void push_back(int v);
  function bit  pop_front(output int v);    // bỏ node đầu, v = giá trị của nó; rỗng: trả 0 (v = 0)
  function int  size();
  function void reverse();                  // đảo thứ tự TẠI CHỖ: không tạo node mới
  function int  remove_all(int v);          // bỏ mọi node có val == v; trả về số node đã bỏ
endclass

Testbench không chỉ gọi hàm mà còn đi theo head → next → … để kiểm cấu trúc. Sau mỗi thao tác phải có:

• head là node đầu, tail là node cuối, tail.next == null. Rỗng thì head == null và tail == null.
• Đi từ head theo next qua đúng size() node, đúng thứ tự giá trị.
• Sau reverse(), các node trong danh sách vẫn là đúng các đối tượng cũ, chỉ là thứ tự liên kết đảo lại.

Không dùng queue hay mảng để lưu dữ liệu: dữ liệu phải nằm trong các node.