设计与验证历来都是由特定领域的语言驱动的。关于在同一语言或方法论内复用描述的指导准则早已存在,但却没有关于跨语言复用描述的指导准则。围绕“便携式激励规范”标准的 Accellera 标准化工作,以及业内存在的可将抽象测试规范重定向到多种环境的便携式激励工具,为创建此类指导准则提供了驱动力。 本白皮书提供了关于 SystemVerilog 激励和覆盖率规范结构化的指导准则,以期能利用便携式激励规范语言最大程度地实现复用。
摘要 设计与验证历来都是由特定领域的语言驱动的。关于在同一语言或方法论内复用描述的指导准则早已存在,但却没有关于跨语言复用描述的指导准则。围绕“便携式激励规范”标准的 Accellera 标准化工作,以及业内存在的可将抽象测试规范重定向到多种环境的便携式激励工具,为创建此类指导准则提供了驱动力。本白皮书提供了关于 SystemVerilog 激励和覆盖率规范结构化的指导准则,以期能利用便携式激励规范语言最大程度地实现复用。 概述 自从验证作为一个独立学科存在以来,复用验证便是一个目标。SystemVerilog 之类的语言和“通用验证方法学”(UVM) 之类的方法论,极大地促进了以事务处理为导向的仿真和加速仿真验证环境中的自动化和复用。将测试创建自动化和复用带到更广泛的环境和执行平台,是 Accellera 便携式激励规范 (PSS) 标准的目标。
图 1[1] 总结了该标准的目标,即让多个用户群体能够跨不同平台使用和复用关于测试激励、预期结果和覆盖率目标的同一规范,包括仿真、硬件加速仿真和原型。 制定中的便携式激励规范本质上是一种声明性语言,其包括数据结构、约束、覆盖率规范特性和图表,因此即为可进行形式分析的测试程序规范。像验证领域的其他标准一样,制定中的便携式激励规范主要吸取了多家供应商和众多用户使用该领域中已经存在的工具的经验。 能够复用现有描述对新语言标准的推广和采用大有裨益,便携式激励规范也不例外。考虑到当今大部分验证是利用 SystemVerilog 完成的,因此了解 SystemVerilog 描述的哪些元素可以轻松可靠地在便携式激励规范描述中复用就显得尤为必要。本白皮书探讨了最容易在便携式激励规范中复用的 SystemVerilog 结构体,并提供了编码指导准则,以便让复用更为简单可靠。
|