C
cpptutor2000
Maybe this group is not the proper place to ask this question, but here
we go. Is there any tool that will take as an input a netlist(in the
same format as the ISCAS '85 - '89 benchmark circuits) and output the
corresponding Boolean equation, say in DNF or CNF form? Any hints or
suggestions would be greatly appreciated. Thanks in advance for your
help.
we go. Is there any tool that will take as an input a netlist(in the
same format as the ISCAS '85 - '89 benchmark circuits) and output the
corresponding Boolean equation, say in DNF or CNF form? Any hints or
suggestions would be greatly appreciated. Thanks in advance for your
help.