Bộ giải mã, lựa chọn one-hot và đầu vào hợp lệ

Chuyển địa chỉ thành đường chọn

Bộ giải mã^{iBộ giải mã Mạch kích hoạt đường đầu ra tương ứng mã nhị phân. Nếu có enable, có thể đưa mọi đầu ra về 0 khi vô hiệu hóa.} $N$ bit chuyển địa chỉ đầu vào thành một trong tối đa $2^N$ đầu ra. Đầu ra $d_i$ có enable $e$ có thể định nghĩa như sau.

Với bộ giải mã 2-to-4: $d_0=e\overline a_1\overline a_0$, $d_1=e\overline a_1a_0$, $d_2=ea_1\overline a_0$, $d_3=ea_1a_0$. enable=0 làm mọi đầu ra bằng 0; enable=1 làm đúng một đầu ra bằng 1.

Đổi địa chỉ a1a0 khi enable=1: chỉ một trong d0~d3 bật. Đặt enable=0 và xác nhận mọi đường chọn đều tắt.

Giá trị mặc định hoàn chỉnh chức năng

module decoder2 (
  input logic en,
  input logic [1:0] addr,
  output logic [3:0] select
);
  always_comb begin
    select = 4'b0000;
    if (en) begin
      case (addr)
        2'd0: select = 4'b0001;
        2'd1: select = 4'b0010;
        2'd2: select = 4'b0100;
        2'd3: select = 4'b1000;
        default: select = 4'b0000;
      endcase
    end
  end
endmodule

Phép gán mặc định ban đầu bao phủ mọi đường thực thi để không nhớ đầu ra cũ. Chỉ thêm tên always_comb không tự biến nhánh chưa định nghĩa thành mạch đúng.

Khi số đầu ra không phải là lũy thừa của 2

Chọn 10 thiết bị cần địa chỉ bốn bit, nhưng 10~15 không hợp lệ. Phải quy định chính sách, chẳng hạn mọi đầu ra 0 và cờ lỗi 1. Mã không dùng không tự động cho phép đầu ra tùy ý.

Ngoài ánh xạ đầu vào–đầu ra, kiểm tra có nhiều đường chọn cùng bật không và disable có tắt hết không. Các bất biến^{iBất biến Điều kiện phải luôn đúng trong mọi thực thi được phép. Ví dụ số phần tử của FIFO sâu 4 luôn nằm từ 0 đến 4. Tìm hiểu thêm} này đặc biệt quan trọng với write enable bộ nhớ hoặc chọn bus. Bộ giải mã càng lớn, fan-out của địa chỉ và tải dây càng tăng, nên có thể cần giải mã phân cấp.