如果您在 do-254 指导下使用 fpga 进行设计,那么这些指导原则是必须的。
需求可追溯性是一种经过充分验证的软件开发实践,它改进了软件项目管理,使软件团队能够在预算内按时交付高质量的应用程序。然而,虽然软件工程师已经广泛接受和采用,但需求可追溯性在 fpga 领域仍然是一个相对较新的概念。
出于实现 do-254 合规性的需要,商业航空 fpga 团队已开始采用需求可追溯性。从事 do-254 程序的 fpga 团队必须提供证明,证明最终的 fpga 设备是根据需求设计和测试的,而需求可追溯性是证明的关键部分。
关于 fpga 开发,需求跟踪是电路卡需求、fpga 需求、概念设计、hdl 源代码、综合和 p&r 文件、验证测试用例、测试台代码、仿真脚本和仿真结果(日志文件、波形和代码覆盖率报告)。
虽然 do-254 中没有明确定义,但需求可追溯性在正确完成时会提供显着的好处。建立可追溯性改进了变更管理,促进了更好的项目管理,并提供了一种有效的方式来组织、连接和跟踪所有 fpga 设计和验证元素。
以下是您需要在 do-254 指导下进行 fpga 开发的需求可追溯性的五个主要原因。
1. 暴露需求覆盖差距
在 fpga 需求捕获过程中,运行从电路卡组件 (cca) 到 fpga 需求的下游可追溯性会暴露 fpga 需求未涵盖的 cca 需求。图 1 中的示例表明 cca-002 和 cca-007 均未涵盖在任何 fpga 要求中。这是由于以下任一原因造成的:相关的 fpga 要求未正确链接到 cca-002 和 cca-007 要求,或者 cca-002 和 cca-007 要求未正确分配给 fpga。无论哪种方式,都必须采取适当的措施来纠正这种覆盖差距。
图 1:下游可追溯性。
同样,在 fpga 设计生命周期的其余部分,运行下游可追溯性会暴露尚未由 hdl 功能实现的 fpga 需求、尚未被测试场景覆盖的 fpga 需求以及尚未被覆盖的测试场景。由测试台实现。了解是否存在覆盖差距有助于跟踪项目状态。下游可追溯性很容易暴露 fpga 开发周期中的需求覆盖差距。
2. 暴露未使用的hdl函数
在多个项目中重复使用 hdl 设计源有几个优点,但一个常见的缺点是会出现未使用的 hdl 功能。运行从 hdl 设计到 fpga 要求的上游可追溯性很容易暴露出不符合任何 fpga 要求的 hdl 功能。这是因为:hdl 功能没有正确链接到相关的 fpga 要求,或者根本没有使用 hdl 功能。hdl 代码中未使用的功能可能会导致意外的设备行为,必须将其删除或更新。
3. 启用变更影响分析
需求的变化可能会导致其他项目元素的变化,例如 hdl 设计、综合和布局布线文件、测试用例、测试台和测试结果。在变更发生之前,组织会执行变更影响分析,以评估变更对项目其余部分的连锁反应。
可追溯性是暴露因需求变更而受到影响的项目元素的有效方式。影响分析示例如图 2 所示。cca-041 需求描述的更改会影响 3 个 fpga 需求,即:
fpga-011
fpga-021
fpga-022
图 2:影响分析。
必须评估这些 fpga 要求是否仍完全涵盖 cca-041(考虑 cca 要求的变化)。如果任何受影响的 fpga 要求需要进一步修改,那么与之相关的设计和验证元素也需要进行评估。如图 3 所示,对 fpga-011 的更改会影响以下设计和验证元素,如果需要,还必须对所有这些元素进行评估和修改。
• hdl_002_interrupt_unit.vhd
• hdl_003_interrupt_unit.vhd
• hdl_006_interrupt_contr.vhd
• tst-003
• tb_003_testbench.vhd–tag 到 hdl 源代码
–tag 到 hdl 源代码
–tag 到 hdl 源代码
–tag 到测试用例
–tag 到测试台
图 3:测试结果可追溯性。
如果没有建立从 cca 到 fpga 设计和验证元素的可追溯性,影响分析将难以管理和分析。由于项目元素之间存在可追溯性,因此很容易进行影响分析。
4. 改进测试管理
衡量测试用例结果是通过还是失败的机制是确定验证完整性的关键要素。在测试用例、测试台、测试状态、日志文件和波形之间建立可追溯性可实现更有效的测试管理。此外,借助可追溯性,还可以确定和跟踪哪个测试套件实现了最大的代码覆盖率。关键是拥有某种类型的工具自动化,这样每次回归后,矩阵都会自动填充适当的测试结果。
5. 协助审查和审计
在审查和审计期间,需求可追溯性矩阵可用作确定所有 fpga 设计和验证元素的相关性的地图。需求跟踪矩阵可以回答以下问题:
我们是否有针对每个 fpga 要求的 hdl 设计源代码?
我们是否有针对每个 fpga 需求的测试用例和测试台?
我们是否验证了所有 fpga 要求?我们有多少失败的测试?
特定测试套件的累积代码覆盖率是多少?
在各个测试和回归期间生成的日志文件和波形在哪里以及在哪里?
如果特定的 fpga 要求需要修改,哪些设计和验证元素会受到影响?
在可追溯性矩阵的帮助下,申请人和认证机构都能够轻松地参考所有设计和验证工件并将其与需求相关联。
图 4:需求可追溯性矩阵。
显然,需求可追溯性的原因是令人信服的。但请记住,如果没有适当的工具,可追溯性可能很难创建和管理。可追溯性是一项必须在整个项目期间进行管理和维护的持续活动。少于 100 个需求的小型项目可能很简单,而电子表格可能足以管理可追溯性。但是,使用电子表格管理具有数百或数千个需求的大型项目的可追溯性可能会让人不知所措。这为考虑spec-tracer改进变更管理、促进更好的项目管理以及提供组织、连接和跟踪 fpga 开发周期的有效方式提供了另一个理由。
面对这样的三星Note10,你能忍住不心动吗?
关于工业用超声功率放大器的这些应用场景,你都知道吗?
颠覆环卫工人的工作方式,全国首个无人驾驶清洁车队正式运行
Gartner预测2011年十大策略性科技
PCB设计的ESD(靓电)抑止准则
需要需求可追溯性的五个主要原因
【新专利介绍】新型物联网燃气表系统
佳能iCMF633Cdw一体机评测 到底怎么样
广东骏亚发布2020年年度业绩预告:线路板业务大好
中兴通讯荣获2022年PMI(中国)项目管理大奖“年度PMO大奖”
Linux基础知识中的文件操作
面对美国“量子霸权”,中国量子计算该发展如何
电缆要预留一定长度的原因是什么
利用以太网或GPRS网络实现茶园旱情远程数据传输的WSN网关设计
多维演进,合见工软重磅发布多款国产自研新一代EDA工具与IP解决方案
采用PIC单片机实现SPWM逆变电源的应用方案
人工智能展示中国未来
承德科胜全自动果酱封口机|全自动封口机|河北封口机
华邦电子与 Mobiveil将合作开发全新的 IP 控制器
为何中移动5G时代重仓和彩云,投亿级资源剑指百亿产业?