工具评估和确认过程

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编码标准。资格认证包括:

  • 资格测试套件包括HDL源文件,脚本和模式,以验证Alint-Pro™工具是否正确检测到设计规则违规。测试套件涵盖用户选择的所有Alint-Pro™规则将包含在项目中。每条规则检查器都是从其他跳棋的隔离验证,反对正面和负面情况。
    用户可以在所需的环境中执行测试套件,以获得确认工具正确行为的最终报告。
  • 确认文件,包括工具描述、工具操作要求、确认测试计划以及测试描述、确认测试结果以及用户设计标准要求和ALINT-PRO™检测规则之间的可追溯性。

Active-HDL™和Riviera-Pro™代码覆盖刀具资格数据包

目前,RTCA / DO-254第11.4.1节中描述的指导第11.4.1名#4表示,当代码覆盖工具用于满足元素分析时,不需要工具资格。但是,一些认证机构要求代码覆盖范围,以接受特定的DO-254计划的工具资格。因此,aldec在RTCCA / DO-254第11.4节中定义的严格刀具资格处理下,达到尽职调查,以严格测试Active-HDL™和Riviera-Pro™代码覆盖。测试代码覆盖的要求基于IEEE STD 1076™-2008 VHDL LRM第4,10和11章的VHDL语言参考手册(LRM)的可执行构造。ALDEC提供了一个数据包,包括VHDL测试用例和广泛的文档,其中包含工具描述,工具操作要求,资格测试计划以及测试说明以及资格测试结果。该资格包证明了Active-HDL™和Riviera-Pro™中提供的代码覆盖工具显示了准确的分支和声明覆盖度量。

HDL模拟器的独立工具评估

HDL仿真器如Active-HDL、Riviera-PRO等3种理查德·道金斯-方HDL模拟器可以通过DO-254/CTS独立评估。由于RTL仿真的测试台可以被DO-254/CTS重用作为FPGA物理测试的测试向量,可以方便地实现物理测试和RTL仿真结果的映射和匹配。

问我们一个问题
x
问我们一个问题
x
验证码图片 刷新验证码
输入的数据不正确。
谢谢你!你的问题已经提交。请允许1-3个工作日的人回答你的问题。
发生内部错误。你的问题没有提交。请使用反馈表
我们使用cookie确保我们为您提供最佳的用户体验,并为您提供我们认为与您有关的内容。如果您继续使用我们的网站,您同意我们使用cookie。关于使用cookie和其他网站信息的详细概述位于我们的隐私政策
Baidu