【发布时间】：2020-02-21 05:15:44
【问题描述】：
我最近才开始使用 CUDD。
我有一个 BLIF 格式的电路，我想将它输入到 CUDD，我知道它会给我 BDD，我也想要 ZDD。
我已经阅读了自述文件，但对于我的生活，我根本找不到如何使用它。
谁能详细告诉我如何将 blif 输入到 CUDD 中？ （什么命令，在哪里写命令）
对不起，如果这太基本了。
【问题讨论】：
标签： cudd
【发布时间】：2020-02-21 05:15:44
【问题描述】：
虽然 CUDD 具有将 BDD 作为 Blif 文件写入磁盘的功能（请参见此处，函数 Cudd_DumpBlif），但该库没有从磁盘读取 Blif 文件的功能。
这意味着如果您需要它或从其他代码中挽救类似的功能，您将需要自己实现它。请注意，使用 BDD 做到这一点并非易事，除非您的电路非常小。用于处理电路的 ABC 框架有一个包含 1000 多行代码的模块，用于读取 Blif 文件。
另一种可能性是使用 ABC 框架将 BLIF 文件转换为更易于阅读的文件。例如，您可以加载 BLIF 文件，然后以 CNF 形式将其写入（请参阅此处的 write_cnf 命令）。不过，这只适用于非常小的电路。在硬件领域，AIG（和逆变器图）更常用是有原因的。
【讨论】：