logo德正数字技术（深圳）有限公司

共找到4款产品
Logo
JasperGold
JasperGold是Cadence推出的形式验证平台，此新型形式验证解决方案将CadenceIncisive形式与JasperGold技术整合为单一平台，与以往解决方案相比，效率得到了较大提升。此外，整合至Cadence系统开发套装（
Logo
Verilog HDL
VerilogHDL（简称Verilog）是一种硬件描述语言，用于数字电路的系统设计。可对算法级、门级、开关级等多种抽象设计层次进行建模。Verilog继承了C语言的多种操作符和结构，与另一种硬件描述语言VHDL相比，语法不
Logo
Cadence CONFORMAL
CadenceCONFORMAL是一款形式验证驱动的等效、低功耗和ECO解决方案，使用可为用户提供独立的等效性检查解决方案，支持从RTL到P&R的最终网表验证设计。除了标准的等效性检查外，Conformal解决方案提供丰富的功能，随着设计
Logo
Cadence Genus
Cadence开发了下一代逻辑和物理综合工具GenusSynthesisSolution，它是从头开始构建的，旨在全面解决设计生产力差距。该解决方案基于大规模并行架构开发，综合运行时间加快3到5倍，并与提供布局和布线的Ca