シグナルがalways_ffのリセットロジック内でのみ定義されている場合、合成ではどうなりますか？

Question

次のコードてきたのは、私が言ってみましょう：

always_ff @(posedge clk, negedge rst) begin 
    if (~rst) begin 
     bad_singal <= '0; 
     good_signal <= '0; 
    end else begin 
     // do something 
     // bad_signal is not used here or anywhere in design. 
     if (some condition) 
     good_signal <= 1'b1; 
    end 
end 

何合成にbad_signalことが起こるのだろうか？合成ツールはデザインのどこにも使われていないので、フロップを最適化しますか？

Answer 1

信号またはレジスタが何も駆動しない場合、有能な合成ツールは、どのように設定されているかにかかわらず、それをトリミングします。これが発生すると、多くの合成ツールが警告を報告します。

Answer 2

使用しないと最適化されます。どこかで使用されている場合、その値は常に0なので、地面に縛られます。

Answer 3

技術的にラッチを推測する必要があります。