Checksum Internet (RFC 1071): bẫy byte có dấu và cộng vòng

Checksum của header IPv4, TCP và UDP (RFC 1071) là một phép tính nhỏ mà testbench mạng nào cũng cần để sinh gói đúng hoặc kiểm gói của DUT. Trong SystemVerilog, phép tính này có một cái bẫy ngay ở kiểu dữ liệu: byte là số có dấu.

class csum;
  static function int unsigned sum8(byte d[$]);        // tổng các byte, coi mỗi byte là số KHÔNG DẤU 0…255
  static function bit [15:0]   inet_csum(byte d[$]);   // checksum Internet của chuỗi byte
endclass

inet_csum:

1. Ghép từng cặp byte thành từ 16 bit big-endian: {d[0], d[1]}, {d[2], d[3]}… Nếu số byte lẻ thì byte cuối là byte cao của từ cuối, byte thấp bằng 0.
2. Cộng mọi từ trong số học bù một (one's complement): mọi phần nhớ vượt 16 bit được cộng vòng lại vào bit thấp, lặp cho tới khi vừa 16 bit.
3. Kết quả là phần đảo bit của tổng.

Kiểm nhanh: header IPv4 45 00 00 73 00 00 40 00 40 11 00 00 c0 a8 00 01 c0 a8 00 c7 (trường checksum đang là 0) cho checksum 0xB861. Chuỗi rỗng cho 0xFFFF.