产品与解决方案
FPGA高安全测试验证服务
2019-07-23 917次

迪真科技于2013年开始FPGA测试及验证领域的技术公关。熟悉FPGA语言:VERILOG/VHDL/SYSTEM VERILOG

熟悉常用的FPGA开发环境:ISE/VIVADO/LIBERO SOC/QUARTUS II

能够提供以下FPGA测试技术服务:

l  LINT常规编码规则检查及分析

l  多时钟域设计的跨时钟域检查及分析

l  RTL代码深度缺陷检查及分析

l  RTL代码结构覆盖验证:包括语句覆盖/分支覆盖/翻转覆盖/状态机覆盖及死代码分析

l  RTL模块级功能验证:基于模块功能/时序需求的高级形式化验证及问题分析

l  RTL子系统级集成功能验证:基于子系统功能/时序需求的高级形式化验证及问题分析

l  设计中的安全保护机制(如ECC/多模冗余/其它业务特定保护机制)的有效性验证,采用先进全面的故障注入验证技术

l  静态时序分析

l  功耗分析

l  RTL与网表之间的逻辑等效性验证

系统测试用例设计及执行

 

在航空,航天、电子、船舶、核电等领域有过多次FPGA测试项目的协助和外包承接经验。具体测试业务领域有:

多种雷达信号处理;

航天遥控遥测;

核电安全级DCS系统

通信算法及加密;

最新航空用FPGA系统;

图形图像FPGA算法处理。