如何将所有单元格映射到AIG

Question

我有一个verilog文件，我想转换为AIG（和逆变器图），我尝试使用aigmap命令。 它改变了大多数细胞，但有些保持不变。 如何仅将所有单元转换为AND或反相器门？

我尝试了不同的yosys脚本，如下所示，但没有一个给我所需的结果。

read_verilog 3des.v
# check design hierarchy
hierarchy

# translate processes (always blocks)
proc; opt

# detect and optimize FSM encodings
fsm; opt

# implement memories (arrays)
memory; opt

# convert to gate logic
techmap; opt

aigmap

write_json out.json

aigmap命令显示尚未转换的单元格，这也反映在json输出文件中。