电子设计自动化
SynaptiCAD公司出品的EDA（电子设计自动化）工具集合，包括HDL输入、仿真、测试、波形分析、管脚
映射工具等等,是一个很完整的EDA方案。
包含了9种功能强大的工具：TestBencher Pro；BugHunter Pro；VeriLogger Pro；WaveFormer Pro；
SimuTAG；PinPort；DataSheet Pro；Timing Diagrammer Pro；Gigawave Viewer 。
1.TestBencher Pro：用于从独立于语言的时序逻辑表生成交互式VHDL,Verilog, OpenVera,e, 和
TestBuilder 测试基准及总线功能的模型。生成的测试基准能提供基于仿真相应的不同的激发向量，以
便于测试基准功能作为一个被测试系统环境的动作模型正常工作。 TestBencher Pro是一个优秀的测试
大规模FPGA 和 ASIC设计的工具。
2.BugHunter Pro：一款用于 Verilog， VHDL 和 C++ 模拟器的图形调试系统。BugHunter 支持所有主
要的 HDL 模拟器，其主要功能包括：单一步骤调试、波形数据串流、项目管理等等。可以侦测程序与帮
助系统的交互过程从而发现问题所在。
3.VeriLogger Pro：Verilog模拟器软件。提供一个综合了传统Verilog模拟器所有特征的仿真环境，它
具有强大的图形测试矢量产生器。VeriLogger的快速模型测试使用户可以对设计中的每个模型进行“自
底向上”的测试。
4.WaveFormer Pro：由时序图分析器、模拟器和测试向量生成器组合而成。它为设计人员提供了一个集
成的环境，可以用来开发数字和模拟线路的时序图。 WaveFormer Pro可以由Spice模拟器，Mathematica
，或Matlab等工具输入模拟数据。还可以利用WaveFormer Pro 内部拥有的波形函数直接生成模拟信号；
或者将从总线上得到的数字信号变换成模拟信号。还可以将模拟信号波形逐段线性地变换成Spice模拟器
的电压信号源。
5.SimuTAG：一款功能强大和实时地查证出 FPGAs 的错误的系统。可经由比较FPGA 功能规则反证RTL样
式模拟规则，迅速发现逻辑和综合错误。
6.PinPort：提供数字硬件与Verilog 或C++的虚拟接口环境。
7.DataSheet Pro：时间表文件夹管理工具。
8.Timing Diagrammer Pro：时间表设计工具。
9.Gigawave Viewer：波形观测器。
SynaptiCAD公司出品的EDA（电子设计自动化）工具集合，包括HDL输入、仿真、测试、波形分析、管脚
映射工具等等,是一个很完整的EDA方案。
包含了9种功能强大的工具：TestBencher Pro；BugHunter Pro；VeriLogger Pro；WaveFormer Pro；
SimuTAG；PinPort；DataSheet Pro；Timing Diagrammer Pro；Gigawave Viewer 。
1.TestBencher Pro：用于从独立于语言的时序逻辑表生成交互式VHDL,Verilog, OpenVera,e, 和
TestBuilder 测试基准及总线功能的模型。生成的测试基准能提供基于仿真相应的不同的激发向量，以
便于测试基准功能作为一个被测试系统环境的动作模型正常工作。 TestBencher Pro是一个优秀的测试
大规模FPGA 和 ASIC设计的工具。
2.BugHunter Pro：一款用于 Verilog， VHDL 和 C++ 模拟器的图形调试系统。BugHunter 支持所有主
要的 HDL 模拟器，其主要功能包括：单一步骤调试、波形数据串流、项目管理等等。可以侦测程序与帮
助系统的交互过程从而发现问题所在。
3.VeriLogger Pro：Verilog模拟器软件。提供一个综合了传统Verilog模拟器所有特征的仿真环境，它
具有强大的图形测试矢量产生器。VeriLogger的快速模型测试使用户可以对设计中的每个模型进行“自
底向上”的测试。
4.WaveFormer Pro：由时序图分析器、模拟器和测试向量生成器组合而成。它为设计人员提供了一个集
成的环境，可以用来开发数字和模拟线路的时序图。 WaveFormer Pro可以由Spice模拟器，Mathematica
，或Matlab等工具输入模拟数据。还可以利用WaveFormer Pro 内部拥有的波形函数直接生成模拟信号；
或者将从总线上得到的数字信号变换成模拟信号。还可以将模拟信号波形逐段线性地变换成Spice模拟器
的电压信号源。
5.SimuTAG：一款功能强大和实时地查证出 FPGAs 的错误的系统。可经由比较FPGA 功能规则反证RTL样
式模拟规则，迅速发现逻辑和综合错误。
6.PinPort：提供数字硬件与Verilog 或C++的虚拟接口环境。
7.DataSheet Pro：时间表文件夹管理工具。
8.Timing Diagrammer Pro：时间表设计工具。
9.Gigawave Viewer：波形观测器。
Abaqus v6.14-5 Win64 & Linux64 2DVD
Ansys.Products.17.0.Adons.Win64 1DVD
CADSWES.RiverWare.v6.8.Win64 1CD
Csimsoft Trelis Pro 15.2.1 Win32_64 & MacOSX & Linux32_64 & Linux Debian32_64 7CD
Geometric Glovius Professional v4.2.0.22 Win32_64 2CD
WinSim.DESIGN.II.v14.01d 1CD
Csizhmssot TrProelis v4.1.5.2895 for Pro E WildFire win32
ARKIsoft.ARKIPlan.2015 1CD
IHS Kingdom Suite 2016 Win64 1DVD
Csimsoft.Bolt.v1.0.0.Linux.Debian64 1CD
Csimsoft.Bolt.v1.0.0.Linux64 1CD
Csimsoft.Bolt.v1.0.0.MacOSX 1CD
Csimsoft.Bolt.v1.0.0.Win64 1CD
Comsol Multiphysics v5.2.1 Win64 & Linux64 & MacOSX64 1DVD
Vero PartXplore v2016 R1 Win32_64 2CD
Bentley.gINT.CONNECT.Edition.Pro.Plus.v10.00.00.17 1CD
DesignBuilder.Software.Ltd.DesignBuilder.v4.6.0.015 1CD
