0

【ヨシス0.8】

私の同僚は、Yosys にランダムなVerilog コードを投げて、Yosys がどのように反応するかを確認しました。

ここにあります：

module top(input clk, input led, output led2, output to_port1,output [24:0] to_port2);


reg ctr = 0;
reg[24:0] counter = 2;
always@(posedge clk) begin
    if (ctr == 1) begin
        ctr <= 0;
        counter <= counter + 1;
    end
    else
        ctr <= 1;
end

assign led2 = ctr;
assign to_port1 = led;
assign to_port2 = counter;
endmodule

および Yosys は、コマンドyosys -o synth.v x.vをスローします。

module top(clk, led, led2, to_port1, to_port2);

  reg [24:0] _0_;
  reg _1_;
  reg [24:0] _2_;
  reg _3_;
  wire [31:0] _4_;
  wire _5_;
  input clk;
  reg [24:0] counter;
  reg ctr;
  input led;
  output led2;
  output to_port1;
  output [24:0] to_port2;

  assign _4_ = counter + 32'd1;
  assign _5_ = ctr == 32'd1;
  always @* begin
    _3_ = 1'h0;
  end
  always @* begin
  end
  always @({  }) begin
      ctr <= _3_;
  end
  always @* begin
    _2_ = 25'h0000002;
  end
  always @* begin
  end
  always @({  }) begin
      counter <= _2_;
  end
  always @* begin
    _1_ = ctr;
    _0_ = counter;
    casez (_5_)
      1'h1:
        begin
          _1_ = 1'h0;
          _0_ = _4_[24:0];
        end
      default:
          _1_ = 1'h1;
    endcase
  end
  always @(posedge clk) begin
      ctr <= _1_;
      counter <= _0_;
  end
  assign led2 = ctr;
  assign to_port1 = led;
  assign to_port2 = counter;
endmodule

一部の構成は複雑になります。上記の結果コードは、元の Verilog コンパイラでコンパイルできる場合でも、最近の Verilog コンパイラではコンパイルできません。

なぜalways @({ }) beginコンストラクトと空なのalways @* beginですか? 見逃したオプションはありますか？

ありがとう

4

1 に答える 1

0

一般に、読み込んだ Verilog の Yosys の内部表現の性質により、Verilog の読み取りと書き込みの間に常に proc (-p proc) を実行する必要があります。

于 2019-05-14T10:55:18.880 に答える