4
我使用Yosys以合成我的RTL设计,其中包括一对夫妇字面常量,比如绑输出端口,如下面的代码:用Yosys生成TIE细胞?
module my_module (
input a,
input b,
output c,
output d);
assign c = a & b;
assign d = 1'b1;
endmodule
在这种情况下,输出d
显然将永远是一个合乎逻辑的一个。我正在使用的流程包括abc -liberty my_stdcells.lib
调用,用于将组合逻辑映射到库提供的标准单元,然后调用clean
和write_verilog
调用。我正在使用的单元库也提供了TIELO
和TIEHI
单元,但是合成的Verilog网表不包含这些单元的任何实例,而是仍然像上面的例子那样显示文字常量。
我大概可以写一个脚本进行后期处理合成的网表从图书馆TIE*
细胞实例来替代这些文字,但我想知道如果我能得到Yosys要做到这一点,我莫名其妙,导致类似
TIEHI tiehi_d_inst(.Y(d));
为上述代码中的assign d = 1'b1
行。