1、嵌入式系统设计：事务级断言细化的要求与概念

嵌入式系统设计：事务级断言细化的要求与概念

1. 引言

近年来，使用比 RTL 更高抽象级别的早期原型设计在工业工作流程中越来越受欢迎，其中最常见的建模范例是事务级建模（TLM）。事务级模型（TLMs）用于架构探索、软件开发的早期平台，以及作为相应 RTL 设计验证的黄金参考模型。同时，断言式验证（ABV）这一在 RTL 验证中成功应用多年的方法，也开始应用于 TLMs。

然而，由于 TLM 和 RTL 的同步方法完全不同，TLM 基于事务事件，RTL 基于时钟信号，因此直接复用 TL 断言是不可能的。目前，还没有建立从 TL 到 RTL 细化断言抽象的成熟方法。

2. 相关工作

• 迁移 RTL - ABV 到 SystemC ：如 [14]、[9] 和 [10] 等工作，将当前的 RTL - ABV 方法迁移到 SystemC，但 RTL 概念不能直接映射到 TL，限制了其应用范围或需要更多努力。
• 新的事务级断言方法 ：[13] 引入了新的事务级断言方法，但将事务映射到信号，限制了其应用；[5] 记录事务并进行后处理，但资源密集且无法检测事务重叠和父子关系。
• TL 断言应用于 RTL ：[2] 提出了 TL 断言方法，[3] 展示了如何使用转换器将这些断言应用于 RTL 设计，但只能验证系统内的事务，且不是真正的混合级断言。

3. TL 断言语言

该断言语言提供了对事务级和 RTL 的全面支持，基于事件驱动。以下是其事件运算符