How to read Reversible Benchmarks using CUDD library

Question

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.

Can you, please, post a reference to some files? – meolic Oct 28 '17 at 19:29 — meolic, Oct 28 '17 at 19:29

0 _ · Answer 1 · 2020-02-23T15:06:39.410

1

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.

edited Feb 23 '20 at 15:06

answered Oct 29 '17 at 07:35

0 _

10,524
11
77
109

How to read Reversible Benchmarks using CUDD library

1 Answers1