工具评估和鉴定过程

DO-254中工具评估和鉴定的目的是确保工具能够执行特定的设计或验证活动,达到使用工具的可接受置信水平。在将DO-254中的任何工具用于任何设计和验证活动之前,应进行工具评估,如有必要,应记录和记录基本的工具鉴定。

Aldec已根据RTCA/DO-254第11.4节“工具评估和鉴定流程”中定义的严格流程进行尽职调查,严格测试其工具。只要可行,Aldec建议对验证结果进行手动审查,以便进行独立评估。如果手动审查不可行,则Aldec提供特定Aldec DO-254工具的特定工具鉴定数据包。

DO-254/CTS™ 工具鉴定数据包

包括一个全面的工具鉴定前数据包,申请人可以轻松地将其应用到其生命周期数据中。建议将此数据包用于设计保证级(DAL)A和B FPGA,其中依赖工具的自动功能对于测试目标FPGA至关重要。数据包中包括:

  • 工具鉴定计划–工具鉴定计划旨在表明DO-254/CTS的行为符合预期,并且不会在可接受的置信水平下检测到任何设计错误。DO-254/CTS组件,如定制CVT软件、定制子板和COTS主板,将使用Aldec提供的诊断设计进行严格测试。在I/O接口和时钟方面,诊断设计模仿了被测客户设计(DUT)。
  • 工具操作要求–已捕获特定工具操作和功能需求,并将其分为5类:信息、诊断、配置、错误检测和比较。
  • 工具测试计划–已捕获测试用例,以验证特定工具要求。每个测试用例包括测试描述、测试过程、VHDL设计、测试脚本、输入文件和预期结果。客户可以使用提供的测试脚本在其实验室重复每个测试。
  • 工具鉴定完成总结–用于确定测试用例是否通过的测试结果文件,包括工具要求、测试用例和测试结果之间的可追溯性矩阵。还包括工具需求、工具测试用例和测试结果的审查活动报告。Aldec人员根据检查表进行审查。

ALINT-PRO™ 设计规则检查工具鉴定包

可定制的工具鉴定包包括全面的测试套件和证明ALINT-PRO中提供的设计规则检查器所需的文档™ 按照用户项目的预期行为。本软件包建议用于具有A和B设计保证水平(DAL)的项目,其中ALINT-PRO™ 用于强制执行HDL编码标准。鉴定包包括:

  • 鉴定测试套件,包括验证ALINT-PRO™ 该工具可正确检测设计规则冲突。测试套件涵盖所有ALINT-PRO™ 用户选择要包含在项目中的规则。每一个规则检查器都与其他检查器隔离地针对正面和负面情况进行验证。
    用户可以在所需的环境中执行测试套件,以获得确认工具正确行为的最终报告。
  • 鉴定文件,包括工具说明、工具操作要求、鉴定试验计划以及试验说明、鉴定试验结果和用户设计标准要求与ALINT-PRO之间的可追溯性™ 皮棉规则。

有源HDL™ 里维埃拉酒店™ 代码覆盖率工具鉴定数据包

目前,RTCA/DO-254第11.4.1#4节中描述的指南指出,当使用代码覆盖工具满足元素分析时,不需要工具鉴定。然而,一些认证机构要求代码覆盖率对特定DO-254程序进行工具鉴定。因此,Aldec进行了尽职调查,严格测试活性HDL™ 里维埃拉酒店™ RTCA/DO-254第11.4节中定义的严格工具鉴定过程下的代码覆盖率。测试代码覆盖率所产生的需求基于IEEE Std 1076第4、10和11章中VHDL语言参考手册(LRM)的可执行结构™-2008 VHDL LRM。Aldec提供了一个数据包,其中包括VHDL测试用例和包含工具描述、工具操作要求、鉴定测试计划以及测试描述和鉴定测试结果的广泛文档。鉴定包证明了代码覆盖工具在活动HDL中可用™ 里维埃拉酒店™ 显示准确的分支和语句覆盖率指标。

HDL模拟器的独立工具评估

HDL模拟器,如活动HDL、Riviera PRO和其他3研发部-第三方HDL模拟器可由DO-254/CTS独立评估。由于在FPGA物理测试过程中,DO-254/CTS可以重用RTL仿真的测试台作为测试向量,因此可以很容易地实现物理测试和RTL仿真结果的映射和匹配。

问我们一个问题
十、
问我们一个问题
十、
验证码图像 重新加载验证码
输入的数据不正确。
非常感谢。您的问题已提交。请留出1-3个工作日,以便有人回答您的问题。
发生内部错误。你的问题没有提交。请联系我们使用反馈表.
我们使用cookies来确保为您提供最佳的用户体验,并为您提供我们认为与您相关的内容。如果您继续使用我们的网站,您同意我们使用cookie。有关Cookie和其他网站信息使用的详细概述,请参阅隐私政策.
Baidu