Output the integer average of two unsigned 4-bit numbers: (a + b) / 2, rounding down. Add in 5 bits so the sum cannot overflow, then shift right by one. Inputs: a and b, 4 bits. Output: avg, 4 bits. The testbench applies all 256 pairs.