会员服务 登录 注册
×
中国航天科工第四研究院软件评测中心(北京)

军用及民用FPGA软件测试服务

军用及民用FPGA软件测试服务
价格 商议
计量单位

立即询价 查看联系方式

中国航天科工第四研究院软件评测中心(北京)

经营模式: 未填写

所在地区: 未填写

在线咨询:
  • 服务详情
  • 交易详情
  • 评价详情




FPGA软件测试服务主要包含:编码规则检查、跨时钟域分析、代码审查、功能仿真、时序仿真、静态时序分析

a)编码规则检查

通过测试工具检查代码遵循相关编码规范的情况。编码规则检查涵盖了设计风格、时钟、复位、状态机编码检查、端口位宽匹配检查、冗余逻辑代码检查、可综合性等多方面的检查。

b)跨时钟域分析

采用专用工具对异步时钟域之间信号传递同步处理设计是否恰当进行检查。

c)代码审查

依据任务书、软件需求规格说明检查代码和设计的一致性、代码执行标准的情况、代码逻辑及表达的正确性、代码结构的合理性以及代码的可读性。

d)功能仿真

依据FPGA软件需求规格说明、设计文档以及其他等效文件、验证软件功能,暴露软件缺陷,采用RTL级源码进行行为仿真动态验证,检查设计的逻辑结构是否满足设计需求。

e)时序仿真

利用功能仿真的测试平台,对被测FPGA布局布线后网表和SDF延时文件进行仿真动态验证,检查各种工况下FPGA内部时序是否存在时序冲突,以及接口时序是否满足设计需求。

f)静态时序分析

依据设计需求中的时序要求,采用布局布线后的网表和延时文件,检查FPGA内部建立时间、保持时间、恢复时间、移除时间是否存在时序冲突,检查外部接口时序是否满足要求。检查RTL代码与布局布线后网表之间逻辑是否等价,验证门级网表的逻辑正确性,避免综合工具引入的错误。



本服务90天内没有交易记录
该服务没有评价记录

我要询价



/1400

提交结果


恭喜您,提交成功!

确定

提交结果


提交失败,请重试!

确定

公司联系方式

确定

本企业已询价,请不要重复询价

确定

请不要对本企业发布的能力进行询价!

确定