本文档《Portable_Test_Stimulus_Standard_v10a.pdf》涉及了便携式测试刺激标准(Portable Test and Stimulus Standard,简称PSS)的1.0a版本,该标准由Accellera组织发布于2019年2月。标准提供了一种语言语法、C++库API和相应的语义定义,旨在跨多个目标平台重用验证意图和行为,并实现测试生成的自动化。本文档是便携式测试刺激标准的语言参考手册,其详细说明了规范的验证意图和行为可重用性,定义了一个声明式环境,用于通过动作、输入、输出和资源依赖性及其在用例中的组合进行抽象行为描述,这些用例能够捕捉验证意图并分析以产生多个可能的合法场景。
便携式测试刺激标准采用了动作、输入、输出和资源依赖性等概念,以声明方式定义了环境,允许用例和测试场景的设计者专注于需要验证的系统行为,而无需过多关注平台的具体实现细节。这样的抽象级别有助于跨不同的硬件和软件平台进行测试,从而实现更好的可移植性。
标准的用例包括数据流和控制流,它允许生成针对多种执行平台的测试用例。此外,标准还初步提供了一种机制,可以捕获程序员对外围设备的看法,而无需考虑底层平台的细节,这进一步增强了便携性。在功能验证领域,这一特性尤其重要,因为它有助于验证工程师设计出与具体实现无关的测试场景。
关键词包括行为模型、受限随机化、功能验证、硬件-软件接口、可移植性、PSS和测试生成等,均指明了该标准在硬件建模和验证中的重要应用。受限随机化是指在随机生成测试数据时施加约束,确保测试数据在符合预期的前提下具有一定的随机性,这对于全面测试硬件设计中的所有可能情况至关重要。
文档中也提到了Accellera的标准文档是通过共识开发过程制定的,这个过程得到了其成员和董事会的批准。该标准是在Accellera系统倡议(Accellera Systems Initiative)和技术委员会内开发的,是由来自不同视角和利益的志愿者共同完成的。Accellera管理这一过程并建立规则,以推动共识发展过程中的公平性,而志愿者们则在没有报酬的情况下提供服务。
此外,Accellera声明,其标准的使用完全是自愿的,并且Accellera对于因使用这些标准而可能导致的任何个人伤害、财产损失或其他损害不承担责任。这意味着用户使用Accellera标准时应当对其有效性负责,并且在依赖这些标准时需要有意识地评估标准的适用性和准确性。
在实际的IT行业中,PSS标准的引入,使得硬件建模和验证的方法学得到了重大的进步。它的应用可以帮助硬件设计者、验证工程师以及软件开发者在同一个验证框架内协作,有效地提高工作效率,减少重复劳动。PSS也促进了跨平台验证的可移植性,让验证的实施变得更加灵活和高效,适应了现代电子设计自动化(EDA)领域中日益增长的复杂性需求。随着业界对标准的广泛支持和采纳,预计会进一步推动硬件和系统验证方法的革新。