迪真科技有十年以上的FPGA测试经验。熟悉FPGA语言：VERILOG/VHDL/SYSTEM VERILOG

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

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

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

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

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

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

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

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

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

• 静态时序分析

• 功耗分析

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

• 系统测试用例设计及执行