Mã nhiệt kế sang nhị phân, phát hiện bọt (bubble)

ADC kiểu flash có 2ⁿ−1 bộ so sánh. Các bộ so sánh có ngưỡng thấp hơn điện áp vào ra 1, còn lại ra 0, nên ngõ ra là mã nhiệt kế (thermometer code): mức càng cao thì "cột thuỷ ngân" càng dài. Bộ mã hoá phía sau đổi nó sang nhị phân. Nhiễu ở bộ so sánh tạo ra bọt (bubble): một bit 0 lọt giữa vùng bit 1, và mạch phải phát hiện được điều này.

module thermo2bin (
  input  logic [14:0] t,       // mã nhiệt kế 15 bit
  output logic [3:0]  b,       // số bit 1 của t (0…15)
  output logic        valid    // 1 nếu t là mã nhiệt kế hợp lệ: các bit 1 dồn liền từ bit 0
);

Mạch tổ hợp, không dùng $countones. Testbench đọc ngõ ra 1 ns sau khi đổi t.