除了简单的求解器外，还有任何软件可以求解给定输入/输出的数字电路

Question

all -

我在这里找到了一个叫做"简单求解器"的东西：

http://home.roadrunner.com/~ssolver/syn.html

您可以在此处下载

http://www.softpedia.com/progdownload/simple-solver-download-103308.html

我的问题是：简单的求解器是唯一为您提供了您想要的输入/输出的数字电路的求解器吗？除了简单的求解器外，还有其他软件可以解决数字电路吗？

将感谢所有/任何建议。

Answer 1

查看Logic Friday 1。这是一种交互式工具，因此将定义为函数表，表达式或门网络的handle/handle/solve boolean表达式。另一个很酷的工具是BC2CNF。结合诸如CryptominIsat之类的SAT求解器，BC2CNF可用于求解布尔的表达式和查找，而该图表实际上可以满足该表达式。