只有通过实名认证的机构用户,才可以进入管理后台哦。

北京京航计算通讯研究所飞航软件与信息安全测评中心北京京航计算通讯研究所飞航软件与信息安全测评中心

分享到:

可编程逻辑器件软件

检测能力
  • 网表验证 (门级仿真)
    能力名称:网表验证 (门级仿真)
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 布局验证 (时序仿真)
    能力名称:布局验证 (时序仿真)
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 逻辑等效性分析
    能力名称:逻辑等效性分析
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 设计验证 (实物测试)
    能力名称:设计验证 (实物测试)
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 静态时序分析
    能力名称:静态时序分析
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 编码规则检查
    能力名称:编码规则检查
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 代码审查
    能力名称:代码审查
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:
  • 结构验证(功能仿真)
    能力名称:结构验证(功能仿真)
    一级类别:
    二级类别:
    标准名称/编号:空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008/
    限制说明:
    资质说明:

检测分类

全部

检测能力 检测标准 标准编号 限制范围 资质说明
网表验证 (门级仿真) 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
布局验证 (时序仿真) 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
逻辑等效性分析 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
设计验证 (实物测试) 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
静态时序分析 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
编码规则检查 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
代码审查 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008
结构验证(功能仿真) 空间产品保证-ASIC与FPGA研制ECSS-Q-ST60-02C-2008