陕西28nm集成电路仿真、物理设计工具采购
查看隐藏内容（*）需先登录
基本信息申购单主题:**nm集成电路仿真、物理设计工具采购申购单类型:竞价类设备类别:仪器仪表使用币种:人名币竞价开始时间:竞价结束时间:申购备注:申购设备详情设备名称数量单位品牌型号是否标配 售后服务技术参数附件**nm集成电路仿真、物理设计工具*台cadenceincisive****，innovus****商品承诺:送货上门/安装调试/技术培训;**nm集成电路仿真、物理设计工具，支持**纳米CMOS工艺、****万门集成电路仿真及物理设计，有效期*年，产地：爱尔兰。
incisive工具包及主要功能参数：
*.SIMULATIONVerilog 、SystemVerilog 、VHDL、SystemC、PSL 、SVA、Si*通用功耗格式 (CPF)
编译：本征编译技术直接产生主处理器机器代码，令性能最大化。智能的增量编译减少编译时间。
容量：在**位操作系统中通常相当于****万门（*GB存取地址空间），**位操作系统中通常相当于*亿门。
断言支持：支持SVA和PSL，IEEE的标准断言语言；处理Verilog、VHDL和SystemC的PSL；支持开放验证库（OVL）标准；支持e测试台断言；包含Incisive Assertion Library； 通用Incisive平台的编译及链接机制；通用Incisive平台支持用户界面；动态断言评估；与HDL进行本征编译实现最高性能；断言可以被嵌入到HDL或者单独的文件；被作为事务记录直接显示于波形图窗口；PSL和SVA断言被作为第一类仿真目标实现轻松调试
*.SIMVISION结果分析
调试与GUI：波形图窗口、寄存器窗口、统一化事务/信号浏览、原理图追踪、表达式计算器、信号流程浏览器、源代码浏览器、错误浏览器、Tcl/Tk脚本编写可定制的显示、将逻辑信号与事务数据记录到SST数据库
代码覆盖：支持Verilog、SystemVerilog、VHDL和混合语言设计；自动化有限状态机提取；覆盖属性支持包括块、路径、表达式、变量、门、FSM（状态、序列）和翻转；覆盖重用；覆盖率贡献排序；比特级表达式记录
功能覆盖率分析：支持Verilog、SystemVerilog、VHDL，e, SystemC, SVC, PSL, SVA和OVL；数据记录到SST*数据库；Tcl/Tk脚本编写可定制的分析
