2024年11月政府意向-集成电路仿真及验证工具详细情况万元人民币招标预告

A(略)应用软件

(略) 仿真及验证工具，包含以下软件： 1、数字EDA1：1套，支持业内主流的形式属性验证(Formal Property Verfication, FPV)功能和错误追踪功能(bughunting)；支持 verilog、VHDL 和 systemverilog硬件语言设计代码；支持两种业内主流的断言语言：SystemVerilog Assertion 断言和 OVL （Open Verification Language）断言支持基于命令行、脚本和图形的用户界面。 2、数字EDA2：1套，支持专 (略) /系统芯片（ASIC/SOC）设计的逻辑等价性检查；支持现场可编程逻辑阵列（FPGA）设计的逻辑等价性检查；支持 verilog、VHDL 和 SystemVerilog RTL 设计代码。 3、数字标准单元库设计验证工具：1套，支持标准单元/IO特征化提取功能;支持标注单元/IO特征化提取结果的验证功能；支持基于人工智能的标准单元/IO库特征化提取功能；支持先进工艺。 4、全定 (略) 仿真工具：1套，支持大于100M器件规模的仿真容量；创新的智能矩阵求解算法和独有的多核并行仿真技术，仿真速度相比商用并行SPICE仿真器显著提升；支持数模混合仿真。 5、上述软件的license有效期不得低于两年；供应商在合同签订生效后5个工作日完成交付安装；如果延期交付，每天支付合同总价1%的违约金。