c - 如何使用 CUDD 库读取可逆基准

Question

我正在研究二元决策图的可变排序。到目前为止，我们已经使用了不可逆电路。但不是我们需要使用 Reversible Benchmarks 来实现一些方法。但是我没有任何方法可以使用 C 语言中的 CUDD 库来读取基准文件（例如 blif、kiss、slif 文件）。我已经在互联网上寻找可用资源。有人请帮我找出路。

Answer 1

对于 blif，请参阅：

https://add-lib.scce.info/assets/doxygen-cudd-documentation/bnet_8c.html

（这篇文章中的原始网址：http: //vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html#a689f42407c41e19f96d5d6d8b7129ed9）

对于其他格式，ag在 CUDD 的消息来源中没有透露任何提及。您可能想要使用ABC或SIS。