在 yosys (win32) 中执行 abc 时出错

【问题标题】：error while executing abc in yosys (win32)在 yosys (win32) 中执行 abc 时出错
【发布时间】：2016-01-26 22:23:34
【问题描述】：

在使用命令abc -liberty cmos_cells.lib（逻辑映射）时出现以下错误。我能够对 veriog 代码进行技术映射、fsm 映射和内存映射。 dfflibmap 可以毫无问题地执行。

click for large image

【问题讨论】：

标签： yosys

【解决方案1】：

我觉得 ABC 无法正确解析自动生成的 read_lib 命令，因为 F:/FINAL YEAR POJECT/.. 中的空格，尝试将单元库的路径指定为绝对路径，而不是从 F:/FINALY~1/ 开始F:/FINAL YEAR POJECT/..，或者只是重命名该目录，使其名称中不包含任何空格（或将 Yosys 移动到其他地方）。

【讨论】：