New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

How to Step-by-Step Read IWLS 2005 Benchmarks? #276

Open

asfhiolNick opened this issue Jan 31, 2024 · 0 comments

asfhiolNick commented Jan 31, 2024

I am attempting to read the IWLS 2005 benchmarks to display their BDD, which I believe is supported by the ABC engine.

The commands I used are as follows:

To elaborate, I downloaded the benchmarks from this link:
http://iwls.org/iwls2005/IWLS_2005_benchmarks_V_1.0.tgz

Additionally, I found the "cadence.genlib" file here:
https://github.com/nianzelee/threABC/blob/master/cadence.genlib

Have I made any mistakes in this process? Thank you for your assistance.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment