gpt4 book ai didi

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

转载 作者:行者123 更新时间:2023-11-30 14:53:51 24 4
gpt4 key购买 nike

我正在研究二元决策图的变量排序。到目前为止,我们一直使用不可逆电路。但并不是我们需要使用可逆基准来实现某些方法。但我没有任何方法使用 C 语言中的 CUDD 库来读取基准文件(例如 blif、kiss、slif 文件)。我在互联网上查找了可用的资源。请有人帮助我找到方法。

最佳答案

对于 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 的消息来源中没有透露任何提及。您可能想使用ABCSIS .

关于c - 如何使用 CUDD 库读取可逆基准,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46990276/

24 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com