verilog記述のポイント：グレイコードカウンタで多ビット値をドメイン間へ渡す

連続カウンタのドメイン間受け渡しには、グレイコード（隣接する値の間で1ビットしか変化しない符号）を使用します。バイナリコードでは、たとえば7→8（0111→1000）で4ビットが同時に変化し、同期化のタイミングによっては新旧ビットが混在した無関係な値（0000や1111など）が読めてしまいます。グレイコードなら値の遷移で変化するのは常に1ビットだけなので、同期化タイミングがどうであれ、読める値は「変化前」か「変化後」のいずれかに限定され、偽の中間値が原理的に発生しません。実装は、カウンタ本体はバイナリで保持し、bin ^ (bin >> 1) でグレイコードに変換した値をレジスタで受けてから相手ドメインへ渡し、受け側で2段同期化します。受け側で数値として使う場合はグレイ→バイナリ変換（上位から順次XOR）を行います。この手法は非同期FIFO（DCFIFO）の内部でポインタ比較に使われている標準技術であり、自前で非同期FIFOやドメインまたぎの進捗カウンタを設計する際の必須要素です。適用条件として、カウンタが±1ずつ連続的に変化することが前提であり、ジャンプする値には適用できません。また、グレイ変換後の値は必ずレジスタ経由で渡し、組み合わせ出力のまま渡してグリッチを拾わないようにすることが実装上の注意点です。

【コード例】
// バイナリ→グレイ変換（レジスタで受けて渡す）
always @(posedge clk_a) gray_a <= bin_a ^ (bin_a >> 1);

// 受け側：2段同期化
always @(posedge clk_b) begin g1 <= gray_a; g2 <= g1; end

// グレイ→バイナリ変換（4bitの例）
wire [3:0] bin_b;
assign bin_b[3] = g2[3];
assign bin_b[2] = bin_b[3] ^ g2[2];
assign bin_b[1] = bin_b[2] ^ g2[1];
assign bin_b[0] = bin_b[1] ^ g2[0];