簡單的求解器(SSolver)提供了四個設計工具套件:布爾,合成,置換和隨機數(shù)。
設計與布爾方程和狀態(tài)機的分析往往是一項極其復雜和耗時的任務。即使找到了解決辦法可以是非常困難的分析或修改。
主要的兩個SSolver是布爾和綜合功能:
1。布爾方程(貝克)處理器顛倒,最大限度地減少并產生一個或真值表的布爾方程組。算格式支援多種語言,包括:阿貝爾,C語言,C + +,PALASM,Verilog語言VB和VHDL語言。
2。合成功能(SYN)的設計和提供自動從真值表或波形輸入數(shù)字邏輯電路仿真。所有的電路類型和配置支持:組合,連續(xù),同步和異步。
簡單的求解是一個有用的公差,這將幫助您創(chuàng)建和評估各種設計。