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.