Phương thức mảng: find, unique, sort, sum with
Class cần viết: qtools · cần máy chấm có SystemVerilog · 7 case (2 mẫu) · giới hạn 4 s/case · ~15 phút
Testbench SystemVerilog thao tác queue và mảng rất nhiều: lọc giao dịch, gom ID duy nhất, tìm phần tử lớn nhất. Các phương thức mảng có sẵn (find, unique, sort, sum… kèm mệnh đề with) làm những việc đó trong một dòng. Hiểu rõ chúng giúp tránh vòng lặp dài và một số bẫy âm thầm.
Viết class qtools chỉ gồm các hàm static:
class qtools;
typedef int iq_t[$];
static function iq_t evens(iq_t q); // các phần tử chẵn, giữ thứ tự gốc
static function int sum_sq(iq_t q); // tổng bình phương
static function iq_t uniq_sorted(iq_t q); // các giá trị khác nhau, tăng dần
static function iq_t top_k(iq_t q, int k); // k giá trị lớn nhất, giảm dần (giữ trùng lặp);
// k ≥ số phần tử → toàn bộ, giảm dần; k ≤ 0 → rỗng
static function int first_over(iq_t q, int th); // chỉ số phần tử ĐẦU TIÊN lớn hơn th; -1 nếu không có
endclassVí dụ với q = '{5, 2, 8, 5, 3, 7}:
| Hàm | Kết quả |
|---|---|
evens(q) |
'{2, 8} |
sum_sq(q) |
176 |
uniq_sorted(q) |
'{2, 3, 5, 7, 8} |
top_k(q, 3) |
'{8, 5, 5} |
first_over(q, 6) |
2 |
first_over(q, 8) |
-1 |
Mọi giá trị trong bài là số không âm. Các hàm không được sửa queue đầu vào của người gọi. Đối số queue được truyền theo giá trị nên điều này tự đúng, trừ khi bạn đổi sang ref.
Các case
- evens giữ thứ tựmẫu
- sum_sqmẫu
Cùng 5 case ẩn kiểm các yêu cầu còn lại của đề. Case ẩn chỉ báo đúng/sai, không nói chi tiết: tự tìm chỗ sai từ đề, hoặc mở gợi ý.
Testbench có mô hình tham chiếu riêng, độc lập với lời giải mẫu. Lời giải mẫu đã chạy qua mọi case trên simulator thật, và 4 bản lỗi mẫu đều bị ít nhất một case bắt. Case mẫu sai sẽ cho biết chỗ sai đầu tiên (giá trị mong đợi so với giá trị nhận được); case ẩn chỉ báo đúng/sai.