verilog - 信号が 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

使用されない場合は、最適化されて削除されます。それがどこかで使用される場合、その値は常に であるため、地面に結び付けられます0。