可追溯性

追溯性是将所有设计和验证元素映射回需求的活动，以确保正在构建和测试的内容是基于需求的。可追溯性是线路板需求、FPGA需求、概念设计、HDL设计、后版图设计、验证测试用例、测试平台和测试结果之间的相关性。下游追溯是一个从上到下的报告活动，它显示了所有项目元素之间的映射或关联，以及上游追溯是自下而上的报告活动。

航空电子、工业、汽车、医疗和核部门等安全关键应用往往需要可追溯性。Spec-TRACER提供以下项目元素之间的可追溯性:

• 电路板要求(或其他更高级别要求)
• FPGA的需求
• HDL源代码(特定的过程，函数或输出赋值)
• 综合和放置&路线文件和报告
• 测试用例
• Testbench代码
• 测试结果(日志文件，波形，代码覆盖率报告，html报告)

Spec-Tracer自动生成单个或完全可追溯性矩阵。完整可追溯性矩阵的示例如下所示。完全可追溯性矩阵配备有交叉导航功能，以便用户能够查看/检查/查看矩阵中包含的要求，RTL源代码，测试用例，测试票代码，文件和报告。