small_process的博客

本章介绍另一个开源解析工具zuspec：zuspec 提供了一组用于处理 actions relationship level 的工具 （ARL） 模型，主要是使用语言描述的模型。ARL 模型用于为数字设计指定系统级测试。zuspec 具有非常模块化的设计来支持快速探索这种建模方法的应用。zuspec 组件都是用 C++ 实现的，可通过 C++ API 和 Python API 获得。这样它们就可以通过 Python 集成，但要全速交互是通过 C++ 来实现(感觉有点像gem5的框架设计)。应用。

本文将改造并使用gen-pss来生成C测试用例，改造工具将放在gitee开源网站上。因为gen-pss是使用java实现的一个PSS语法解析器，因此我们需要在系统上安装java JDK。|-- antlr4 // 基于Java开发的开源的语法分析器生成工具。2. 切换到pss-gen/src目录，并执行make，编译生成java包。1. 切换到pss-gen目录下，设置PSS_HOME路径。| -- src // 源代码。| -- samples // 测试用例。

下面是一个 stream 类型的使用模型，uart_c 的 action uart_tx_a 使用 output 修饰符声明为输出流，action uart_rx_a 使用 input 修饰符声明为输入流；下面是一个buffer类型的使用模型，action memory_write1_a 和 memory_write2_a 都是通过output 修饰符声明为输出缓冲区，但 mem_buff_b 配置字段有所不同。uart_c::uart_rx_a 和 vip_uart_c::uart_tx_a并行执行。

在这些环境中，某些函数可能仅在 solve 平台上的测试生成期间可用，而其他函数仅在 target 平台上的测试执行期间可用。在典型使用中，此类限定符在特定于环境的软件包（例如，特定于 UVM 环境的软件包或 C-test 特定的软件包）中指定。在组件范围内声明的静态函数可能会被派生组件中具有相同名称的函数声明所覆盖，该函数声明可以是静态的，也可以是非静态的。— 绑定到外部编程语言中的接口，例如 C/C++ 中的函数，或 SystemVerilog 中的函数/任务。函数可以是静态函数或实例（非静态）函数。

executor_c 组件还可以添加到由 executor_group_c 组件描述的执行体分组，在执行init_down和init_up的执行块中，通过PSS核心库的 add_executor 函数实现添加执行体；pss_top 组件下的 my_core_action_a 继承自 core_action_a，在activity中通过约束 cluster_id和 core_id 特征属性来将 my_core_action_a 分配到指定的 executor 上执行。

PSS验证方法学的测试用例，SoC系统级验证

PSS验证方法学的测试用例，子系统级验证

PSS验证方法学的测试用例，包括IP级验证，子系统级验证和SOC系统级验证