small_process的博客

可以通过声明 addr_claim_s 类型的结构体，对连续的地址空间进行地址声明。连续地址空间组件的 add_nonallocatable_region 函数用于将不可分配的地址空间区域添加到连续地址空间(如外设地址空间)。连续地址空间组件的 add_region 函数用于将可分配地址空间区域添加到连续地址空间。地址空间中的句柄可以从地址声明（具有可选的 offset 值）、另一个句柄（具有 offset 值）或地址空间中的区域创建。addr_space_base_c 是所有其他地址空间类型的基类型。

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

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

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

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