Skip to content
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.

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

How can I use testnpn to get all the npn equivalent class of one cell, or get whether two cell is npn equivalent #270

Open
youth1forever opened this issue Dec 25, 2023 · 0 comments

Comments

@youth1forever
Copy link

youth1forever commented Dec 25, 2023

I try testnpn -A 1 -N 6 blif/test.txt, the ouput is
Applying exact NPN to 2 funcs of 6 vars... Classes = 2 Time = 0.00 sec
,and the content in inverter.txt is

00000 1
11111 0
  1. I wonder whether the format of is correct. Help manual says
<file>   : a text file with truth tables in hexadecimal, listed one per line,
                   or a binary file with an array of truth tables (in this case,
                   -N <num> is required to determine how many functions are stored)

Can anyone give a sample of input file?
2. In my understanding, the ouput "Applying exact NPN to 2 funcs of 6 vars... Classes = 2 Time = 0.00 sec" means the two truth table in test.txt are in different npn class. Is my understanding correct?
3. Whether npntest has option to compute all the npn equivalent class of one input cell, and output to a file?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant