集成电路(IC)设计工具

Verdi Automated Debug System(自动化侦错系统)针对数字设计的侦错提供了先进的解决方案，其中的技术包括：了解设计中复杂与不熟悉的行为将困难与琐碎的侦错过程自动化整合多元且复杂的设计环境。

Certitude功能验证品管系统是目前业界唯一针对消除验证环境有效性不确定因素的解决方案。它用于鉴别验证的不足，这些不足可能导致不能发现设计错误，从而引起功能失效，芯片改版和上市延迟。具有独特自动化技术的Certitude系统能够：

• 客观地衡量验证环境的品质

• 识别可能隐藏设计错误的验证漏洞

Siloti 能见度自动增强系统大幅降低了原本在设计流程中因录制信号数据而需花费的大量资源与时间，进而改进了整个验证的流程。Siloti 验证系统更提供了许多独家的自动化科技，让使用者在面对复杂的系统芯片时，依然能对所有的内部信号保有完整的能见度。这些独特的技术包括了：

•  辨识出为达成完整能见度而必须录制的关键信号组。

•  根据录制的关键信号组，再依使用者实际需求自动计算出其它未录制的内部信号。

•  将门级(gate-level)的验证结果和原始的RTL程序代码相联结。