cudd - BLIF 输入到图形输出（文本和图片）

Question

我最近才开始使用 CUDD。

我有一个 BLIF 格式的电路，我想将它输入到 CUDD，我知道它会给我 BDD，我也想要 ZDD。

我已经阅读了自述文件，但是对于我的生活，我根本找不到如何使用它。

谁能告诉我如何详细输入 blif 到 CUDD？（什么命令以及在哪里编写命令）

对不起，如果这太基本了。

Answer 1

虽然 CUDD 具有将 BDD 作为 Blif 文件写入磁盘的功能（参见此处，函数 Cudd_DumpBlif），但该库没有从磁盘读取 Blif 文件的功能。

这意味着如果您需要它或从其他代码中挽救类似的功能，您将需要自己实现它。请注意，使用 BDD 做到这一点并非易事，除非您的电路非常小。用于处理电路的 ABC 框架有一个包含 1000 多行代码的模块，用于读取 Blif 文件。

另一种可能性是使用 ABC 框架将 BLIF 文件转换为更易于阅读的文件。例如，您可以加载 BLIF 文件，然后以 CNF 形式将其写入（请参阅此处的 write_cnf 命令）。不过，这只适用于非常小的电路。在硬件领域，AIG（和逆变器图）更常用是有原因的。