CODEWITHSUNDEEP
cbinary-decision-diagramcudd
R.snail
R.snail

Reputation: 1

How to read Reversible Benchmarks using CUDD library

I am working on variable ordering of binary decision diagram. Till now we have used non reversible circuits. But not we need to use Reversible Benchmarks to implement some methods. But I am not getting any way to read benchmark files(ex. blif, kiss, slif files) using CUDD library in C language. I have looked for available resources on internet.Somebody please help me to find out way.

Upvotes: 0

Views: 117

Answers (1)

0 _
0 _

Reputation: 11464

For blif, see:

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

(original URL in this post: http://vlsi.colorado.edu/~fabio/CUDD/html/bnet_8c.html#a689f42407c41e19f96d5d6d8b7129ed9)

For the other formats, ag didn't reveal any mention within CUDD's sources. You may want to use ABC or SIS.

Upvotes: 1

Related Questions