incisive

制造商：Cadence Design Systems
Cadence公司针对复杂IC设计，特别是纳米级设计，推出Incisive验证平台。它是嵌入式软件、控制、数据通道和模拟/混合信息/RF设计的统一平台。Incisive平台内建支持Verilog、VHDL、SystemC、SystemC验证库、规范语言PSL/Sugar、算法开发和模拟/混合信息（AMS）,实现了设计功能集成。

incisive平台内建支持verilog、vhdl、systemc、systemc验证库、规范语言psl/sugar、算法开发和模拟/混合信号(ams)。它实现了独一无二的设计功能集成。

　　作为incisive平台的一部分，cadence同时发布了三种新产品：incisive，一种基于仿真的数字验证解决方案；incisive-xld，一种可以适用于超过10个工程师的解决方案，比基于仿真的验证性能高出100倍；incisive-xld base，把incisive-xld与palladium accelerator/emulator结合在一起配置，支持acceleration-on-demand。