除了简单求解器之外，是否还有其他软件可以解决给定输入/输出的数字电路?

问题描述

全部-

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

I have found something called "Simple Solver" located here:

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

您可以在此处下载

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

我的问题是:简单求解器是仅有的一种可以为您提供所需输入/输出的数字电路解决方案吗?除了简单求解器之外，还有其他软件可以解决数字电路问题吗?

My question is: Is Simple Solver the only one out there that solves digital circuits for you given inputs / outputs you want? Is there other software besides Simple Solver that will solve digital circuits?

将感谢所有/任何建议.

Would appreciate all / any advise.

推荐答案

查看Logic Friday 1.这是一个交互式工具，因此可以处理/求解定义为函数表，表达式或门网络的布尔表达式.另一个很酷的工具是 BC2CNF .与 CryptoMinisat ，BC2CNF可用于求解布尔表达式并查找哪些变量值实际上满足该表达式.

Look at Logic Friday 1. This is an interactive tool so handle / solve boolean expressions defined as function table, expression or network of gates. Another cool tool is BC2CNF. Combined with a SAT Solver like CryptoMinisat, BC2CNF can be used to solve a boolean expression and find, which variable values actually fulfil the expression.

这篇关于除了简单求解器之外，是否还有其他软件可以解决给定输入/输出的数字电路?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！