迪真科技于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算法处理。