小服AI 
ModelSim
数字IC验证/逻辑仿真
Siemens Digital Industries Software 西门子数字化工业软件
ModelSim 是西门子 EDA 的 HDL 仿真软件，支持 VHDL、Verilog HDL 及混合语言仿真，并兼容 IEEE 常用硬件描述语言标准。软...
软件推荐
Cadence CONFORMAL
数字IC验证/逻辑仿真
Cadence Design Systems 楷登电子
Cadence CONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案，使用可为用户提供独立的等效性检查解决方案，支持从RTL到P&R的最终网表...
Riviera-PRO
数字IC验证/逻辑仿真
Aldec
Riviera-PRO addresses verification needs of engineers crafting tomorrow’s cutt...
JasperGold
数字IC验证/逻辑仿真
Cadence Design Systems 楷登电子
JasperGold是Cadence推出的形式验证平台，此新型形式验证解决方案将Cadence Incisive形式与JasperGold技术整合为单一平台...
HES-DVM
数字IC验证/逻辑仿真
Aldec
HES-DVM is a fully automated and scalable hybrid verification environment for ...
Spectre AMS Designer
IC电路仿真/SPICE
Cadence Design Systems 楷登电子
Cadence Spectre AMS Designer 是混合信号仿真与验证解决方案，与 Xcelium 逻辑仿真器和 Xcelium Mixed-Sig...