>>407
いや、不定やzのビットは比較をしないdon't care扱いになる。
casex文なら

　　3'b1xx: 処理;

と書くと、合成ツールはMSBが1だったら他のビットは
どの値になっても構わないと解釈するので、
MSBにプライオリティのついたエンコーダが生成される。
少なくともDesignCompilerはそうだった（はず）。

casex文を使うと真理値表っぽく見えるので
使い方によっては可読性が良くなる場合もある。