boolean-logic - 除了 Simple Solver 之外，是否有任何软件可以解决给定输入/输出的数字电路？

Question

全部 -

我在这里找到了一个名为“Simple Solver”的东西：

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

你可以在这里下载

http://www.softpedia.com/progDownload/Simple-Solver-Download-103308.html

我的问题是：Simple Solver 是唯一一个在给定输入/输出的情况下为您解决数字电路的问题吗？除了 Simple Solver 之外，还有其他可以解决数字电路的软件吗？

将不胜感激所有/任何建议。

Answer 1

看Logic Friday 1。这是一个交互式工具，因此可以处理/解决定义为函数表、表达式或门网络的布尔表达式。另一个很酷的工具是BC2CNF。结合像CryptoMinisat这样的SAT 求解器，BC2CNF 可用于求解布尔表达式并找出哪些变量值实际满足表达式。