0

这是组合综合的后续问题:更好的技术映射结果

我正在使用0.5+ (git sha1 f13e387, gcc 5.3.1-8ubuntu2 -O2 -fstack-protector-strong -fPIC -Os)带有以下合成脚本的 Yosys(版本):

read_liberty -lib  my_library.lib
read_verilog test.v
hierarchy -check -top test
proc; opt; memory; opt; fsm -norecode; opt
techmap; opt
dfflibmap -liberty my_library.lib
abc -liberty my_library.lib -script \
    +strash;ifraig;scorr;dc2;dretime;strash;&get,-n;&dch,-f;&nf,{D};&put
hilomap -hicell LIB_TIEHI Y -locell LIB_TIELO Y
clean
write_verilog -noattr -noexpr output.v
stat

...综合以下 Verilog 代码 (test.v):

module mux4(
    input  i0, i1, i2, i3,
    input  s0, s1,
    output z);
  reg    zint;
  always @(*) begin
    case ({s1, s0})
      2'b00:   zint = i0;
      2'b01:   zint = i1;   
      2'b10:   zint = i2;   
      2'b11:   zint = i3;   
      default: zint = i3;
    endcase
  end
  assign z = zint;
endmodule

module test (
    input a,b,c,d,
    output result
  );
  mux4 inst (
    .i0(a), .i1(b), .i2(c), .i3(d), 
    .s0(1'b0), .s1(1'b0),           # constants here!
    .z(result)
  );
endmodule

综合结果包括一个LIB_MUX4具有两者的实例,S0并由S1两个实例绑定LIB_TIELO

为什么 Yosys 看不到这一点S0并且S1保持不变并将输出减少到这样的东西

module test(a, b, c, d, result);
  input a;
  input b;
  input c;
  input d;
  output result;
  assign result = a;
endmodule

反而?

我尝试使用clean -purge,opt_muxtreeopt_clean命令,但没有成功 - 静态LIB_MUX实例始终在生成的网表中。

4

1 回答 1

1
  1. flatten如果要跨层次边界进行优化,则需要运行。

  2. 您可能希望在运行opt -full前不久运行techmap,但在运行高级优化(如fsm和)之后运行share

  3. JFYI:如果您不提供运行测试用例所需的所有文件,人们将无法重现您所说的内容。我没有你的my_library.lib,所以我什至没有费心尝试运行你的代码。

于 2017-02-16T10:29:26.760 回答