Simple Solver 3.3.1
An environment to design and evaluate Boolean Logic and State Machines
Simple Solver (SSolver) provides a suite of four design tools: Boolean, Synthesis, Permutation and Random Number.
Design and analysis of Boolean equations and state machines is often an extremely complex and time consuming task. Even when a solution is found it can be very difficult to analyze or modify.
The two main workhorses of SSolver are the Boolean and Synthesis functions:
1. The Boolean EQuation (BEQ) Processor inverts, minimizes and generates truth tables for one or a series of Boolean equations. Operator formats are supported for a variety of languages including: ABEL, C, C++, PALASM, Verilog, VB and VHDL.
2. The SYNthesis function (SYN) provides automatic design and simulation of digital logic circuits from truth table or waveform inputs. All circuit types and configurations are supported: Combinational, Sequential, Synchronous and Asynchronous.
Simple Solver is a useful tol that will help you create and evaluate various designs.
Requirements:
· A 2.0 GHz (or higher) computer is recommended for speed of Boolean minimization and circuit Synthesis
· Microsoft .NET Framework 2.0
What’s New in This Release:
· All – updated Help/Credits and Help/About.
· Boolean – fixed several minor bugs and improved input-equation error checks.
· Boolean, Logic Design, Simulation – added gate/flip-flop graphics.