中文 英语
知识中心
导航
知识中心

其中验证

利用嵌入式处理器验证方法
受欢迎程度

描述

硬件验证传统上使用的方法注入刺激设计和匹配的输出design-under-test (DUT)与预期的结果。最初,手动创建的刺激和预期的结果,但这是被约束的随机测试模式生成可自动生成刺激。检查执行结果使用高级的模型设计。方法导致SystemVerilog和UVM的创建。然而,这种方法依赖于刺激发生器有完整和预测控制设计的输入。这变得越来越困难当处理器成为许多子系统和soc不可分割的一部分。所需的方法,他们被删除,取而代之的是bus-functional模型。

其中验证保持DUT的处理器,并使用它们作为验证方法的一部分。软件编写运行在这些处理器硬件锻炼。软件可以被创建的手动或自动生成。2014年,用例是越来越确定为验证场景定义的方式,从这些工具创建特定的测试用例,可能使用约束随机技术。商业工具捕获这些用例使用图论方法虽然没有标准化的存在。

其中最受欢迎的另一个方面验证模型的处理器可以存在多个抽象层次和历史上所有的模型已经登记准确、目标代码兼容的。这意味着软件编译为真正的处理器上运行,也可以运行在一个指令集的精确模型,抽象模型或者一个映射到一个模拟器。这将创建能力测试可移植性在整个开发周期中从虚拟样机仿真,仿真、FPGA原型和实际硅。

2014年,一群Accellera形成看的标准化便携式刺激可能带来某种程度的共性的方式定义的用例。


多媒体

异构计算验证

多媒体

规划验证

多媒体

技术讨论:改善验证

多媒体

技术说:验证

多媒体

技术讨论:eFPGA验证

多媒体

技术讨论:SoC协议调试


相关的实体


相关技术

Baidu