<?xml version="1.0" encoding="utf-8" ?><rss version="2.0"><channel><title><![CDATA[small_process的博客]]></title><description><![CDATA[]]></description><link>https://blog.youkuaiyun.com/small_process</link><language>zh-cn</language><generator>https://blog.youkuaiyun.com/</generator><copyright><![CDATA[Copyright &copy; small_process]]></copyright><item><title><![CDATA[PSS基础之Address spaces]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/147427538</link><guid>https://blog.youkuaiyun.com/small_process/article/details/147427538</guid><author>small_process</author><pubDate>Tue, 09 Sep 2025 12:31:08 +0800</pubDate><description><![CDATA[可以通过声明 addr_claim_s 类型的结构体，对连续的地址空间进行地址声明。连续地址空间组件的 add_nonallocatable_region 函数用于将不可分配的地址空间区域添加到连续地址空间(如外设地址空间)。连续地址空间组件的 add_region 函数用于将可分配地址空间区域添加到连续地址空间。地址空间中的句柄可以从地址声明（具有可选的 offset 值）、另一个句柄（具有 offset 值）或地址空间中的区域创建。addr_space_base_c 是所有其他地址空间类型的基类型。]]></description><category></category></item><item><title><![CDATA[开源PSS解析器1]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/151333313</link><guid>https://blog.youkuaiyun.com/small_process/article/details/151333313</guid><author>small_process</author><pubDate>Mon, 08 Sep 2025 22:31:48 +0800</pubDate><description><![CDATA[本章介绍另一个开源解析工具zuspec：zuspec 提供了一组用于处理 actions relationship level 的工具 （ARL） 模型，主要是使用语言描述的模型。ARL 模型用于为数字设计指定系统级测试。zuspec 具有非常模块化的设计来支持快速探索这种建模方法的应用。zuspec 组件都是用 C++ 实现的，可通过 C++ API 和 Python API 获得。这样它们就可以通过 Python 集成，但要全速交互是通过 C++ 来实现(感觉有点像gem5的框架设计)。应用。]]></description><category></category></item><item><title><![CDATA[开源PSS解析器]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/148619988</link><guid>https://blog.youkuaiyun.com/small_process/article/details/148619988</guid><author>small_process</author><pubDate>Thu, 12 Jun 2025 22:55:49 +0800</pubDate><description><![CDATA[本文将改造并使用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   // 测试用例。]]></description><category></category></item><item><title><![CDATA[PSS基础之Flow objects使用]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/147410953</link><guid>https://blog.youkuaiyun.com/small_process/article/details/147410953</guid><author>small_process</author><pubDate>Tue, 22 Apr 2025 12:14:59 +0800</pubDate><description><![CDATA[下面是一个 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并行执行。]]></description><category></category></item><item><title><![CDATA[PSS基础之function使用]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/147402762</link><guid>https://blog.youkuaiyun.com/small_process/article/details/147402762</guid><author>small_process</author><pubDate>Mon, 21 Apr 2025 23:18:30 +0800</pubDate><description><![CDATA[在这些环境中，某些函数可能仅在 solve 平台上的测试生成期间可用，而其他函数仅在 target 平台上的测试执行期间可用。在典型使用中，此类限定符在特定于环境的软件包（例如，特定于 UVM 环境的软件包或 C-test 特定的软件包）中指定。在组件范围内声明的静态函数可能会被派生组件中具有相同名称的函数声明所覆盖，该函数声明可以是静态的，也可以是非静态的。— 绑定到外部编程语言中的接口，例如 C/C++ 中的函数，或 SystemVerilog 中的函数/任务。函数可以是静态函数或实例（非静态）函数。]]></description><category></category></item><item><title><![CDATA[PSS基础之executor使用]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/146970442</link><guid>https://blog.youkuaiyun.com/small_process/article/details/146970442</guid><author>small_process</author><pubDate>Mon, 21 Apr 2025 21:09:38 +0800</pubDate><description><![CDATA[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 上执行。]]></description><category></category></item><item><title><![CDATA[数字IC验证 - Portable Stimulus Standard(PSS) SoC系统级测试用例]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/141864105</link><guid>https://blog.youkuaiyun.com/small_process/article/details/141864105</guid><author>small_process</author><pubDate>Tue, 03 Sep 2024 15:56:35 +0800</pubDate><description><![CDATA[PSS验证方法学的测试用例，SoC系统级验证]]></description><category></category></item><item><title><![CDATA[数字IC验证 - Portable Stimulus Standard(PSS) 子系统级测试用例]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/141864022</link><guid>https://blog.youkuaiyun.com/small_process/article/details/141864022</guid><author>small_process</author><pubDate>Tue, 03 Sep 2024 15:54:45 +0800</pubDate><description><![CDATA[PSS验证方法学的测试用例，子系统级验证]]></description><category></category></item><item><title><![CDATA[数字IC验证 - Portable Stimulus Standard(PSS) Uart IP级测试用例]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/141863823</link><guid>https://blog.youkuaiyun.com/small_process/article/details/141863823</guid><author>small_process</author><pubDate>Tue, 03 Sep 2024 15:51:34 +0800</pubDate><description><![CDATA[PSS验证方法学的测试用例，IP级验证]]></description><category></category></item><item><title><![CDATA[数字IC验证 - Portable Stimulus Standard(PSS)测试用例]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/141863093</link><guid>https://blog.youkuaiyun.com/small_process/article/details/141863093</guid><author>small_process</author><pubDate>Tue, 03 Sep 2024 15:44:08 +0800</pubDate><description><![CDATA[PSS验证方法学的测试用例，包括IP级验证，子系统级验证和SOC系统级验证]]></description><category></category></item><item><title><![CDATA[在qemu vexpress-a15平台运行xen，guest OS Dom0 Mini-OS(Rtos)和Dom1 Linux]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/124291132</link><guid>https://blog.youkuaiyun.com/small_process/article/details/124291132</guid><author>small_process</author><pubDate>Wed, 20 Apr 2022 10:52:28 +0800</pubDate><description><![CDATA[在qemu vexpress-a15平台运行xen，guest OS Dom0 Mini-OS(Rtos)和Dom1 Linux]]></description><category></category></item><item><title><![CDATA[在qemu vexpress-a15平台运行xen, guest OS Dom0 Linux和guest OS DomU1 Linux]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122947364</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122947364</guid><author>small_process</author><pubDate>Wed, 20 Apr 2022 08:50:45 +0800</pubDate><description><![CDATA[在qemu vexpress-a15平台运行xen, guest OS Dom0 Linux和guest OS DomU1 Linux]]></description><category></category></item><item><title><![CDATA[在qemu virt平台运行xen, guest OS Dom0 Mini-OS]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122923640</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122923640</guid><author>small_process</author><pubDate>Mon, 14 Feb 2022 14:37:15 +0800</pubDate><description><![CDATA[在qemu virt平台运行xen, guest OS Dom0 Mini-OS]]></description><category></category></item><item><title><![CDATA[在qemu virt平台运行xen，guest OS Dom0 Linux和Dom1 Linux]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122896850</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122896850</guid><author>small_process</author><pubDate>Mon, 14 Feb 2022 09:43:03 +0800</pubDate><description><![CDATA[在qemu virt平台运行xen，启动guest OS Dom0 Linux和Dom1 Linux]]></description><category></category></item><item><title><![CDATA[在qemu vexpress-a15平台运行xen，guest OS Dom0 Linux]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122889324</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122889324</guid><author>small_process</author><pubDate>Sat, 12 Feb 2022 22:34:02 +0800</pubDate><description><![CDATA[在vexpress-a15平台运行xen，guest OS Dom0 Linux]]></description><category></category></item><item><title><![CDATA[在xen virt平台运行xen]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122860750</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122860750</guid><author>small_process</author><pubDate>Thu, 10 Feb 2022 16:12:43 +0800</pubDate><description><![CDATA[Xen ARM with Virtualization virt64]]></description><category></category></item><item><title><![CDATA[在qemu vexpress-a15平台运行xen]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/122853900</link><guid>https://blog.youkuaiyun.com/small_process/article/details/122853900</guid><author>small_process</author><pubDate>Thu, 10 Feb 2022 11:10:03 +0800</pubDate><description><![CDATA[Xen ARM with Virtualization]]></description><category></category></item><item><title><![CDATA[mips和sparc交叉编译工具链网址]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/121762451</link><guid>https://blog.youkuaiyun.com/small_process/article/details/121762451</guid><author>small_process</author><pubDate>Tue, 07 Dec 2021 10:11:20 +0800</pubDate><description><![CDATA[mips,sparc交叉编译器]]></description><category></category></item><item><title><![CDATA[boost库websocket客户端]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/108030110</link><guid>https://blog.youkuaiyun.com/small_process/article/details/108030110</guid><author>small_process</author><pubDate>Sat, 15 Aug 2020 23:26:08 +0800</pubDate><description><![CDATA[boost库websocket协程客户端

基于boost标准C++库，使用协程和beast实现websocket客户端。需要连接多少个websocket服务器协议地址，则创建多少个协程以及相应的处理函数即可。


#include &lt;boost/beast/core.hpp&gt;
#include &lt;boost/beast/websocket.hpp&gt;
#include &lt;boost/asio/spawn.hpp&gt;
#include &lt;cstdlib&gt;
#inc]]></description><category></category></item><item><title><![CDATA[boost库http服务器]]></title><link>https://blog.youkuaiyun.com/small_process/article/details/108029740</link><guid>https://blog.youkuaiyun.com/small_process/article/details/108029740</guid><author>small_process</author><pubDate>Sat, 15 Aug 2020 22:54:09 +0800</pubDate><description><![CDATA[boost库http协程服务器

基于boost标准C++库，使用协程和beast实现http服务器，仅添加支持post和get方法。


#include &lt;boost/beast/core.hpp&gt;
#include &lt;boost/beast/http.hpp&gt;
#include &lt;boost/beast/version.hpp&gt;
#include &lt;boost/asio/ip/tcp.hpp&gt;
#include &lt;boost/config.hpp&]]></description><category></category></item></channel></rss>