仪器信息
规格型号 :
Questa Prime Ap SW
设备原值 :
371.63（万元）
产地国别 :
爱尔兰
学科领域 :
电子与通信技术,计算机科学技术,信息科学与系统科学
技术指标 :
软件
主要功能 :
用于定位复杂FPGA/ASIC/SOC设计深层次功能错误，确保功能正确性与可靠性。包括：利用形式化技术发现状态机死锁、冗余代码等；通过属性检查器穷举大规模设计，探测复杂错误触发条件，弥补验证激励漏洞；结合代码覆盖率结果，用形式化方法定位未覆盖代码，加速覆盖率收敛。
服务信息
服务内容 :
用于定位复杂FPGA/ASIC/SOC设计深层次功能错误，确保功能正确性与可靠性。包括：利用形式化技术发现状态机死锁、冗余代码等；通过属性检查器穷举大规模设计，探测复杂错误触发条件，弥补验证激励漏洞；结合代码覆盖率结果，用形式化方法定位未覆盖代码，加速覆盖率收敛。
收费标准 :
校内200元/小时；校外400元/小时
用户须知 :
需提前联系设备负责人培训，培训通过后使用
联系我们
金志威
更多推荐
