Yosys 和/或 ABC 中的约束（时间/区域..）

Question

我正在使用以下基本脚本来合成简单的加法器设计

# read design
read_verilog fulladder1.v
hierarchy -check

# high-level synthesis
proc; opt; fsm; opt; memory; opt

# low-level synthesis
techmap; opt

# map to target architecture
abc -g AND,XOR

# split larger signals
splitnets -ports; opt

show

使用

abc -g AND,XOR    

命令，ABC 只使用 AND、XOR 和 NOT（不自动添加）门来合成设计。

我对这个问题的问题是：

1) 有没有办法强制 YOSYS 和/或 ABC 工具在整个设计中只使用一个通用门（例如 NAND）？

&

使用后

abc -g AND,XOR    

喜欢命令。

2) 有没有办法通过向库添加约束（时间/区域/优先级？...）来减少或最大化指定门的数量（例如 XOR）

或

使用特殊的 YOSYS 和/或 ABC 命令？

提前非常感谢...

Answer 1

内置单元格类型的“成本”在kernel/cost.h 中硬编码。

映射到自定义单元库时，您可以在 liberty 文件中指定成本（面积）。示例见examples/cmos/cmos_cells.lib。

ABC 在单元库中需要一个非门。但是你总是可以映射到一个单元库，例如NAND 和 NOT，然后使用 techmap 命令将 NOT 的所有实例替换为 NAND，其中两个输入由相同的信号驱动（或一个输入由常数 1 驱动，无论您喜欢什么）。

---

编辑： 使用 techmap 将 NOT 映射到 NAND 很容易。只需创建一个名为not2nand.v 的文件，其内容如下：

module \$_NOT_ (input A, output Y);
  \$_NAND_ _TECHMAP_REPLACE_ (.A(A), .B(A), .Y(Y));
endmodule

然后您可以使用 techmap -map not2nand.v 将 NOT 门映射到 NAND。