A 点击查看>> 行业应用软件

一、标的名称： (略) 设计EDA软件；二、标的数量：1套；三、主要技术指标：1.具备验证软件，可以对设计进行系统级验证、对RTL代码进行功能和时序仿真，以确保设计的正确性。支持VHDL、Verilog、SystemC、Systemverilog以及混合语言模型的仿真，具有测试向量生成，覆盖率反馈以及PLI扩展功能。支持形式验证。2.具备综合软件，可以将设计的RTL模型转化为门级网表， (略) 进行优化，得出速度快面积小的综合结果。性能可靠，前后端一致性较好。能够完成可测试设计综合和功耗优化。3. (略) 布线软件，可以自动完 (略) ，布线工作；可以为深亚微米的IC设计进行设计优化，能够满足五千万门规模的设计。4.具备静态时序分析软件，可以在不进行动态仿真的情况下将设计的时序与设计约束进行对比分析，从而快速的达到时序收敛的目，能够支持单芯片百万门以上规模的设计。5. (略) 仿真软件，可以 (略) (略) 的仿真。 (略) 的仿真。6.具备自带测试向量生成软件，可以自动生成高质量的生产测试向量。支持完全的芯片测试规则检查，测试向量生成，分析，故障仿真，失效诊断。7.支持linux操作系统。

A 点击查看>> 行业应用软件

一、标的名称： (略) 设计EDA软件；二、标的数量：1套；三、主要技术指标：1.具备验证软件，可以对设计进行系统级验证、对RTL代码进行功能和时序仿真，以确保设计的正确性。支持VHDL、Verilog、SystemC、Systemverilog以及混合语言模型的仿真，具有测试向量生成，覆盖率反馈以及PLI扩展功能。支持形式验证。2.具备综合软件，可以将设计的RTL模型转化为门级网表， (略) 进行优化，得出速度快面积小的综合结果。性能可靠，前后端一致性较好。能够完成可测试设计综合和功耗优化。3. (略) 布线软件，可以自动完 (略) ，布线工作；可以为深亚微米的IC设计进行设计优化，能够满足五千万门规模的设计。4.具备静态时序分析软件，可以在不进行动态仿真的情况下将设计的时序与设计约束进行对比分析，从而快速的达到时序收敛的目，能够支持单芯片百万门以上规模的设计。5. (略) 仿真软件，可以 (略) (略) 的仿真。 (略) 的仿真。6.具备自带测试向量生成软件，可以自动生成高质量的生产测试向量。支持完全的芯片测试规则检查，测试向量生成，分析，故障仿真，失效诊断。7.支持linux操作系统。