Tool Overview |

SimpleSolver Logic is a free Windows^{®}
application. It provides an environment for digital-logic & computer-system Education and Design.

The application includes six integrated tools: Boolean, Logic Design Draw, Logic Design Auto, Logic Simulation, Permutation and Random Number. Help files and many examples are also included.

Tool Descriptions

Boolean Logic - Generates minimized Boolean equations from Boolean equation or Truth table inputs. Boolean operator formats are supported for a variety of languages including: ABEL, C, C++, PALASM, VB, Verilog and VHDL.

The software uses both Quine-McCluskey and Espresso (© UC Berkeley) algorithms to optimize minimization.

Table Boolean vs. Logic Design Auto lists the differences between the Boolean and Logic Design Auto tools.

Logic Design Draw - A graphical WYSIWYG tool that enables a user to interactively create a logic schematic diagram. Consists of two linked windows: Logic Designer Draw and a support window, Logic Designer Draw Simulation.

Signals can be added, renamed or deleted, parts can be added or deleted, and connections between signals and parts can be changed. After each change the circuit is re-drawn and the simulation is automatically re-run.

Input file format is fully compatible with the Logic Simulator and similar to Logic Design Auto.

Logic Design Auto - Automatically design small digital logic circuits and state machines from timing diagrams or truth tables.

Automatic design is done by searching for circuits that provide the transfer function specified by the input and output signal waveforms. In general, the first circuit solution found will be the simplest possible solution.

All logic types are supported: Combinational, Sequential, Synchronous and Asynchronous.

To see the differences between Logic Design Auto and the Boolean tool, refer to Boolean vs. Logic Design Auto

Logic Simulator - can be used to design and simulate digital logic circuits. It performs the same functions as Logic Design Draw (LDD).

However, because LDD is a graphical WYSIWYG tool that is much easier to use, LDD is generally recommended for new SimpleSolver users and large designs.

Permutation Generator - Generates permutations of numbers from a specified base number and a specified number of digits. It demonstrates how rapidly (exponentially) the number of choices in a design grows when, for example, a 3-input AND is added.

Can also be used to generate binary, octal, hexadecimal or decimal number tables.

Includes name mapping to replace numbers with words.

Random Number Generator - Generates from 1-99,999 random numbers in a specified range between -99,999 to 99,999.

Can be used for many purposes: shuffling 52 numbers (like a deck of cards), randomly selecting a subset of operations for sample testing, and so forth.

Includes name mapping to replace numbers with words.

Help Files - Each tool includes a detailed Help file

Feedback - Users are encouraged to report problems, and to suggest improvements or additional features. Based on this feedback SimpleSolver is continuously revised and improved.