新一代场景验证工具——穹景 (GalaxPSS)

2022-03-18 12:33:07 来源: 芯华章科技

点击

早在5年前，人们便预测PSS（Portable Stimulus Standard），将与UVM一样跻身主流验证技术之一。如今面对日益复杂的系统级芯片验证，除了集成规模提高带来的挑战外，包含架构探索、软硬件协同、测试用例跨平台复用等一系列新课题，摆在了芯片验证工程师面前。被很多业内专家寄予厚望的PSS，因具备自动生成验证场景、同源化可移植激励等优势，成为了应对新挑战的有力工具。

为什么PSS成为了新的验证效率增长点？

如果说过去二十年里，蓬勃发展的仿真验证、形式验证等各种技术日益成熟，验证领域逐步统一了验证方法学并初步实现了验证的完备性。那么接下来的二十年，摆在行业面前的新课题就是如何解决工具缺乏兼容性、数据碎片化，实现工具创新的问题，从而进一步提高验证效率。

以SoC级验证为例，一个典型矛盾是复杂场景验证可能需要数以万计的C语言测试激励，但是C语言很难实现灵活的随机化，过往大部分芯片公司依赖于验证工程师手写直接测试用例，这是一个非常庞大的工程，也导致覆盖率提高缓慢。对设计的各种功能进行仿真测试时，也需要数量庞大的验证用例来提供测试场景。如何把验证工程师从繁琐的测试用例逐个开发的工作中解放出来，一直是行业面临的挑战之一。

另一方面，传统验证中，不同验证层级的现有验证平台存在显著的差异，因此不同平台的测试用例也是基于不同的编程语言，不同的验证方法学开发的。哪怕同样是SoC层级的验证，基于逻辑仿真器和基于硬件仿真系统的测试用例，在芯片公司中往往也是两个不同的团队重复开发的。业内的普遍共识认为，数字验证中的激励重复开发、重复编译、碎片化调试，额外耗费的时间已经占据了总体验证时间的30%以上。

如何解决数据碎片化，追求不同技术、不同层次、不同平台上验证产出的“最大公约数”，实现数字验证中的智能激励移植也是PSS一个重要的考量。

然而，PSS验证生态，也需要越来越丰富的共性场景模型库的支持，并呼唤强有力的底层工具支撑。

GalaxPSS让芯片验证更加省时省力

PSS吹响了革新的前奏，EDA厂商则看到了其中新的技术路径，一系列应用新标准的EDA产品，在预告中踩着鼓点登场。2021年11月，芯华章基于Accellera PSS标准和高级验证方法学，发布新一代场景验证工具穹景(GalaxPSS)。

Accellera是一个国际标准化组织，专注于全球系统、半导体及设计工具公司开发及使用的自动化设计流程的语言标准。作为Accellera PSS标准工作组成员之一，芯华章的核心研发团队在PSS协议制定、讨论和发布时，将团队对协议的深刻理解，融入到芯华章场景验证工具GalaxPSS研发当中，并始终密切地保持工具和协议的一致性和合规性。

得益于对当前验证痛点的深刻把握，芯华章的场景验证系统“对症下药”，致力于解决以下两大问题：

1.构建全面完备的SoC测试场景

通过解析用户构建的激励场景模型，GalaxPSS工具可以按照用户测试目标生成大规模的随机场景，这些场景能够满足在复杂设计条件下的SoC验证，通过PSS静态覆盖率以及用户仿真阶段的实时功能覆盖率分析，进一步提升模型场景描述准确度和覆盖面，从而保证验证的完备性。

GalaxPSS 支持国际标准DSL语言的建模，通过解约数，翻译建模场景，生成C case提供给CPU进行场景测试。DSL语言不仅有类似硬件结构性描述语法，也具备类似SV的面向对象的软件语言特点，并提供了一定的场景自动推导（automatic inference）功能，使得建模非常灵活智能。它不仅可以涵盖传统验证语言的测试激励生成，还可以自动扩展出验证工程师很难想到的测试场景。整体上来说，这可以极大程度上缓解过往严重依赖于工程师手工构造测试用例的局限性。

2.赋能多平台交互验证

验证不单单是只在仿真器上测试，还需要考虑FPGA验证、硬件加速仿真和后续流片后的板级性能测试。

GalaxPSS生成的代码具备可移植性，能够支持多平台的灵活应用，根本原理在于它的输入可以是简单的DSL语言，或者C/C++，通过产品的功能描述指定一个统一的、标准格式的翻译，实现同一个行为模型，输出则可以按照用户的选择来定，从而实现验证用例在垂直复用和跨平台复用上的连续性。比如，客户需要运行在软件仿真平台，GalaxPSS就能够按需求生成SV或者UVM的代码；如果客户需要SoC系统级的运行环境，工具也可以按照要求生成C/C++的代码，并由用户加载到SoC的CPU上运行。

总之，针对目前和将来复杂的验证场景，GalaxPSS都可以生成不同形态、适配多种验证环境的测试用例，并实现统一场景建模下，测试激励跨平台、可复用、自动化、智能化自回归，从而确保适用在软件仿真、硬件仿真、FPGA原型验证，甚至系统验证上，提供从单一平台验证到多平台的交互验证，有效解决验证环节中工具碎片化的问题。

场景验证工具GalaxPSS的广泛应用

针对具备PSS 模型建模能力的用户，芯华章GalaxPSS可以做作为模型解析器，定义统一的测试激励，支持生成可适配UVM验证环境的SystemVerilog测试用例、可适配SoC层级的C/C++测试用例等丰富的验证用例。同时，芯华章技术研发团队基于对共性验证难点的深刻理解，开发了一系列基于DSL语言的验证场景模型，包括SoC多核互联验证场景模型、AMBA总线子系统验证场景模型等，支持用户可扩展的动态测试结果正确性检查。

使用过程中，GalaxPSS可提供图形用户界面，支持场景模型-测试用例-仿真Log文件三方联动信息定位，操作简单友好。