简单的求解器(SSolver)提供了四个设计工具套件:布尔,合成,置换和随机数。
设计与布尔方程和状态机的分析往往是一项极其复杂和耗时的任务。即使找到了解决办法可以是非常困难的分析或修改。
主要的两个SSolver是布尔和综合功能:
1。布尔方程(贝克)处理器颠倒,最大限度地减少并产生一个或真值表的布尔方程组。算格式支援多种语言,包括:阿贝尔,C语言,C + +,PALASM,Verilog语言VB和VHDL语言。
2。合成功能(SYN)的设计和提供自动从真值表或波形输入数字逻辑电路仿真。所有的电路类型和配置支持:组合,连续,同步和异步。
简单的求解是一个有用的公差,这将帮助您创建和评估各种设计。