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