Bộ cộng tham số hoá: cờ nhớ và cờ tràn đúng với mọi độ rộng, kể cả W = 1

Module tham số hoá phải đúng với mọi giá trị tham số hợp lệ, kể cả những giá trị "kỳ quặc" như W = 1. Code thường được viết và test với W = 8 hay 32, rồi một ngày ai đó dùng W = 1 cho một bộ đếm 1 bit… Viết bộ cộng có cờ nhớ và cờ tràn có dấu cho mọi W ≥ 1.

module addw #(parameter int W = 8) (
  input  logic [W-1:0] a, b,
  input  logic         cin,
  output logic [W-1:0] sum,
  output logic         cout,    // nhớ ra (coi a, b không dấu)
  output logic         ovf      // tràn khi coi a, b, sum là số CÓ DẤU bù 2 W bit
);

{cout, sum} = a + b + cin. ovf = 1 khi kết quả thật của phép cộng có dấu nằm ngoài [−2^(W−1), 2^(W−1) − 1].

Với W = 1, số có dấu 1 bit chỉ có hai giá trị: 0 và −1. Ví dụ 1 + 1 (tức −1 + −1 = −2) là tràn.

Testbench dựng 4 bản addw #(1), addw #(2), addw #(8), addw #(33) và đọc ngõ ra 1 ns sau khi đổi đầu vào.