如何使用CUDD库阅读可逆基准

Question

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

Answer 1

对于blif，请参阅：http://vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html#a689f42407c41e19f96d5d6d8b7129ed9

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