关于Yosys中有私人姓名的电线的一些问题

Question

在我使用Yosys编译的其中一个设计中，我看到我们可以使用专用线（具有私有名称的线）。例如，$ 0_s0 [127：0]。所以，我对它们几乎没有问题：

1. 为什么我们在Yosys中有私人电汇（在什么情况下）？

2. 是否始终转换为唯一名称。例如，当我转储整个设计（使用write_verilog）时，它是否与我转储包含该专用线的模块时的名称相同？

Answer 1

  

为什么我们在Yosys中有私人电汇（什么情况下）？

因为我们需要一种机制来为中间线创建名称。在像assign x = (a+b)+c;这样的表达式中，会有一条保持(a+b)结果的导线，该导线需要一个名称。

最好做正确的事情并为这些名称创建名称空间，并将它们与用户定义的名称分开。因此，后来合成流程中的传递将始终知道要保留哪些名称以及它可以丢弃的名称。

  

是否始终将其转换为唯一名称。例如，当我转储整个设计（使用write_verilog）时，它是否给出了与转储包含该私有线的模块时相同的名称？

没有

如果您关心不同输出文件之间的这种一致性，请使用像rename -enumerate这样的命令实际为这些连线提供公共名称。