簡單的求解器（SSolver）提供了四個(gè)設(shè)計(jì)工具套件：布爾，合成，置換和隨機(jī)數(shù)。

設(shè)計(jì)與布爾方程和狀態(tài)機(jī)的分析往往是一項(xiàng)極其復(fù)雜和耗時(shí)的任務(wù)。即使找到了解決辦法可以是非常困難的分析或修改。

主要的兩個(gè)SSolver是布爾和綜合功能：

1。布爾方程（貝克）處理器顛倒，最大限度地減少并產(chǎn)生一個(gè)或真值表的布爾方程組。算格式支援多種語言，包括：阿貝爾，C語言，C + +，PALASM，Verilog語言VB和VHDL語言。

2。合成功能（SYN）的設(shè)計(jì)和提供自動(dòng)從真值表或波形輸入數(shù)字邏輯電路仿真。所有的電路類型和配置支持：組合，連續(xù)，同步和異步。

簡單的求解是一個(gè)有用的公差，這將幫助您創(chuàng)建和評(píng)估各種設(shè)計(jì)。