附录ACHI协议速查表A.1 事务类型速查表分类事务名称操作码 (示例)关键字段/属性主要目的目标地址类型数据方向读ReadNoSnp0x04SnpAttr0获取非一致性数据快照不可侦听入站ReadNoSnpSep0x05Order0b00分离响应的非一致性读不可侦听入站ReadOnce0x03Order0b00,SnpAttr1一次性读不缓存可侦听入站ReadOnceCleanInvalid0x0AOrder0b00,SnpAttr1读并清理/无效其他副本可侦听入站ReadOnceMakeInvalid0x0BOrder0b00,SnpAttr1读并使其他副本无效可侦听入站ReadClean0x02TagOp读并清理脏数据可侦听入站ReadNotSharedDirty0x0CSnpAttr1读保证数据非SD状态可侦听入站ReadShared0x0DExcl0,SnpAttr1读期望共享副本可侦听入站ReadUnique0x0EExcl1,SnpAttr1读期望唯一所有权可侦听入站ReadPreferUnique0x0FSnpAttr1读倾向但不要求唯一可侦听入站MakeReadUnique0x10Excl,SnpAttr1无数据升级为唯一权可侦听无无数据CleanUnique0x08Order0b00,SnpAttr1清理其他副本升级为唯一可侦听无MakeUnique0x09Order0b00,SnpAttr1使其他副本无效获取唯一权可侦听无Evict0x12Order0b00提示性缓存行逐出任意无CleanShared0x13Order0b00清理共享脏数据可侦听无CleanSharedPersist0x14Order0b00清理共享数据并持久化可侦听无CleanInvalid0x15Order0b00清理后置无效可侦听无MakeInvalid0x16Order0b00直接置无效可丢弃脏数据可侦听无写WriteNoSnpPtl0x1CExpCompAck1,SnpAttr0部分写入非一致性区域不可侦听出站WriteNoSnpFull0x1DExpCompAck1,SnpAttr0整行写入非一致性区域不可侦听出站WriteNoSnpZero0x1EExpCompAck1,SnpAttr0写零无数据Flit不可侦听出站WriteNoSnpDef0x1FExpCompAck1,SnpAttr0可延迟的写入不可侦听出站WriteUniquePtl0x20ExpCompAck1,SnpAttr1部分写入需获取唯一权可侦听出站WriteUniqueFull0x21ExpCompAck1,SnpAttr1整行写入需获取唯一权可侦听出站WriteBackPtl0x22LikelyShared部分脏数据回写任意出站WriteBackFull0x23LikelyShared整行脏数据回写任意出站原子AtomicStore0x28SnoopMe原子存储可侦听出站AtomicLoad0x29SnoopMe原子加载可侦听入站AtomicSwap0x2ASnoopMe原子交换可侦听双向AtomicCompare0x2BSnoopMe原子比较并交换可侦听双向其他PrefetchTgt0x30Order0b00目标预取提示任意无DVMOp0x31Order0b00分布式虚拟内存操作系统无PCrdReturn0x32-协议信用返还-无暂存StashOnceUnique0x40StashNID,StashLPID暂存数据目标获唯一权可侦听无/入站StashOnceShared0x41StashNID,StashLPID暂存数据目标获共享权可侦听无/入站A.2 缓存状态转换表七状态模型状态简称含义ValidUniqueDirtyFull可写责任InvalidI无效否---否无Unique CleanUC唯一干净是是否是是无Unique DirtyUD唯一脏是是是是是需写回Shared CleanSC共享干净是否否是否无Shared DirtySD共享脏是否是是否需写回可能传递Unique Dirty PartialUDP唯一脏部分是是是否是需写回部分字节Unique Clean EmptyUCE唯一干净空是是否否是无关键转换规则写无效协议写入前必须使其他共享副本无效转为I。脏数据责任UD/SD/UDP状态持有者负责最终将数据写回内存或传递责任。状态降级通过CleanUnique、CleanShared等事务可实现状态降级如SD-SC。升级通过ReadUnique、MakeReadUnique、MakeUnique等事务可获取唯一所有权UC/UD。A.3 错误代码速查表RespErr字段RespErr 值名称描述典型场景0b0000OK正常完成事务成功。0b0001Poison数据中毒读取的数据包含可纠正或不可纠正错误由Data Poisoning指示。0b0010DTE数据传输错误在数据传输过程中发生的错误如链路CRC错误。0b0011MEC内存加密错误内存加密上下文不匹配或解密失败。0b0100RME领域管理错误违反RME安全域访问规则。0b0101TrustZoneTrustZone 错误违反安全世界/普通世界访问控制。0b0110Access访问权限错误地址无访问权限如用户模式访问内核空间。0b0111Address地址错误访问的地址不存在或映射错误。0b1000TStamp时间戳错误与持久性排序相关的时间戳错误。0b1001Other其他错误未分类的错误。0b1010-0b1111Reserved保留供未来使用。A.4 关键字段定义速查表字段名所在通道宽度描述与作用OpcodeREQ, RSP, SNP, DAT6 (REQ) / 4等事务/响应/消息类型。决定事务结构和行为。SrcID所有可变源节点ID。标识消息发送方用于路由响应。TgtIDREQ, RSP, DAT可变目标节点ID。标识消息接收方用于路由请求。TxnID所有可变事务ID。唯一标识一个事务用于匹配请求与响应。DBIDRSP, DAT可变数据缓冲区ID。用于写入事务的流控将DBIDResp与后续数据关联。AddrREQ44-52位物理地址。事务的目标内存地址。MemAttrREQ4位内存属性。包含Device、Cacheable等决定事务处理方式。SnpAttrREQ1位侦听属性。1可侦听一致性0不可侦听。OrderREQ2位顺序要求。00无顺序01有序10屏障后11保留。ExpCompAckREQ1位期待完成确认。1请求者将发送CompAck。ExclREQ1位独占访问。1请求独占访问序列。SnoopMeREQ1位侦听本节点。原子事务中提示HN是否需侦听请求者自身。CAHREQ, DAT1位主节点拷贝。指示HN是否保留数据副本。TagOpREQ, DAT2位标签操作。用于MTE指示对内存标签的操作如检查、分配。RespRSP, DAT3位响应状态。携带缓存行状态如UC,SC,UD_PD。RespErrRSP, DAT4位响应错误。指示事务错误类型见A.3。FwdStateRSP3位转发状态。在侦听响应中指示数据转发时的缓存状态。DataPullRSP1位数据拉取。在侦听响应中提示HN需要发送数据请求。附录B专业术语中英文对照表B.1 完整术语对照表英文术语中文术语解释AMBA CHIAMBA 一致性集线器接口Arm推出的高性能一致性互连协议。Requester (RN)请求节点发起事务读、写等的组件。Home Node (HN)主节点接收请求、管理一致性、排序事务的中心节点。Subordinate Node (SN)从属节点最终完成内存访问的节点如内存控制器。Fully Coherent (RN-F/HN-F/SN-F)完全一致性包含硬件一致性缓存支持所有侦听事务。IO Coherent (RN-I/HN-I/SN-I)IO一致性无硬件一致性缓存仅支持非侦听或有限事务子集。Miscellaneous Node (MN)杂项节点处理DVM操作的节点。Transaction事务一次完整的协议操作如一次读或写。Message消息协议层交互单元请求、响应、侦听、数据。Packet数据包在网络层传输的基本单元包含路由信息。Flit微片最小的流控单元一个数据包包含一个Flit。Snoop侦听由HN发往其他RN查询或修改其缓存状态的操作。Snoopee被侦听方接收侦听请求的RN。Point of Coherence (PoC)一致性点系统中所有组件看到同一地址数据一致的位置通常在HN-F。Point of Serialization (PoS)序列化点确定不同代理请求顺序的位置通常在HN-F。Cache Line State缓存行状态如UC, UD, SC, SD, I等描述缓存行的所有权和新鲜度。Write-Invalidate Protocol写无效协议CHI采用的一致性协议写入前需使其他共享副本无效。Distributed Virtual Memory (DVM)分布式虚拟内存用于跨组件同步TLB和页表操作的机制。Cache Stashing缓存暂存将数据直接预取或推送到指定目标缓存的优化机制。Direct Memory Transfer (DMT)直接内存传输数据从SN直接发送给RN绕过HN的数据路径优化。Direct Cache Transfer (DCT)直接缓存传输数据从一个RN的缓存直接发送给另一个RN的缓存。Quality of Service (QoS)服务质量通过优先级和资源平面管理流量保障延迟和带宽。Resource Plane (RP)资源平面逻辑上隔离的流量通道用于实现QoS和死锁避免。Memory Tagging Extension (MTE)内存标签扩展Armv8.5引入的硬件辅助内存安全特性。Realm Management Extension (RME)领域管理扩展Armv9引入的机密计算硬件特性。Data Poisoning数据中毒在数据中携带错误标记使其在传播中被识别。Exclusive Access独占访问一种原子性“读-改-写”编程模型如LDXR/STXR。Retry重试完成方因资源不足暂时拒绝请求的机制。Ordered Write Observation (OWO)有序写观测一种写操作的排序优化模式。B.2 常见缩写解释缩写全称中文ACEAXI Coherency ExtensionsAXI一致性扩展CXLCompute Express Link计算快速链接DVMDistributed Virtual Memory分布式虚拟内存PoCPoint of Coherence一致性点PoSPoint of Serialization序列化点PoPPoint of Persistence持久化点CMOCache Maintenance Operation缓存维护操作RASReliability, Availability, Serviceability可靠性、可用性、可服务性QoSQuality of Service服务质量MTEMemory Tagging Extension内存标签扩展RMERealm Management Extension领域管理扩展MPAMMemory System Resource Partitioning and Monitoring内存系统资源分区与监控MECMemory Encryption Context内存加密上下文LPIDLogical Processor Identifier逻辑处理器标识符VMIDVirtual Machine Identifier虚拟机标识符IPAIntermediate Physical Address中间物理地址TLBTranslation Lookaside Buffer转译后备缓冲器附录CCHI版本特性对比表C.1 各版本特性详细对比版本核心演进关键新增特性兼容性CHI-A基础规范定义协议基础节点、通道、事务流、七状态模型、DVM。基线版本。CHI-B性能与扩展1. 支持更大物理地址52位。2. 原子事务。3. DVM VMID扩展8-16位。4.直接内存/缓存传输 (DMT/DCT)。5. 更详细的RAS特性。不直接向后兼容CHI-A。CHI-C延迟优化1.提前发送CompAck收到第一个数据Flit后。2.分离读响应与数据(RespSepData,DataSepResp)。3.合并写数据与CompAck(NCBWrDataCompAck)。4. 数据Flit操作码宽度增加3-4位。不直接兼容CHI-B数据通道宽1位。CHI-D资源管理1.MPAM内存资源分区与监控支持。2. 性能增强特性。不直接兼容CHI-C通道字段修改宽度变化。CHI-E安全与存储1.内存标签扩展 (MTE)支持。2.写零事务(WriteUniqueZero,WriteNoSnpZero)。3.组合写与CMO。4. 与Armv8.4/8.5对齐。不直接兼容CHI-D通道字段修改宽度变化。CHI-F安全与弹性1.领域管理扩展 (RME)支持。2.可延迟写入(WriteNoSnpDef)。3. 与Armv9.2对齐。不直接兼容CHI-E通道字段修改宽度变化。CHI-G安全与扩展1.内存加密上下文 (MEC)支持。2. 性能增强。3. 与Armv9.3对齐。不直接兼容CHI-F通道字段修改宽度变化。CHI C2C多芯片规范1.Flit容器化以适配片间链路。2.字段精简移除ReturnNID等。3.域连接管理消息。4.不支持跨芯片DMT/DCT。是CHI协议的片间适配版本与片内版本不直接兼容。C.2 兼容性指南基本原则CHI-B及之后的版本均不直接向后兼容。主要原因是字段定义、宽度和语义的变化。系统设计一个SoC内部通常统一采用一个CHI版本。若需集成不同版本的IP需要设计协议转换桥处理字段映射和事务语义的差异。C2C接口是独立规范用于连接两个可能运行不同内部CHI版本的芯片桥接逻辑在C2C适配器中完成。验证重点升级版本时需重点关注字段宽度变化、新事务类型的支持、以及原有事务语义的细微变化如响应顺序。附录D示例代码与配置文件D.1 典型配置示例SystemVerilog 参数化接口// CHI-F Node Interface Configuration Parameters localparam CHI_VERSION F; // 使用CHI-F版本 localparam DATA_WIDTH 512; // 数据总线宽度512-bit localparam ADDR_WIDTH 52; // 物理地址宽度52-bit (CHI-B) localparam NODE_ID_WIDTH 8; // 节点ID宽度 localparam TXN_ID_WIDTH 12; // 事务ID宽度 localparam DBID_WIDTH 8; // DBID宽度 localparam LPID_WIDTH 6; // 逻辑处理器ID宽度 // 通道使能配置对于一个RN-F parameter bit HAS_REQ_CHAN 1; // 拥有请求通道 parameter bit HAS_RSP_CHAN 1; // 拥有响应通道 parameter bit HAS_DAT_CHAN 1; // 拥有数据通道 parameter bit HAS_SNP_CHAN 1; // 拥有侦听通道RN-F必需 // QoS 配置 parameter bit QoS_ENABLE 1; // 启用QoS parameter int NUM_RP 4; // 支持4个资源平面 // 特性支持配置 parameter bit MTE_SUPPORT 1; // 支持MTE (CHI-E) parameter bit RME_SUPPORT 1; // 支持RME (CHI-F) parameter bit DMT_SUPPORT 1; // 支持DMT parameter bit DCT_SUPPORT 1; // 支持DCTD.2 测试用例示例UVM Sequence for ReadUniqueclass chi_readunique_seq extends uvm_sequence #(chi_transaction); uvm_object_utils(chi_readunique_seq) rand bit [ADDR_WIDTH-1:0] addr; rand chi_cache_state_t expected_state; task body(); chi_transaction req, rsp, dat; // 1. 创建并发送 ReadUnique 请求 req chi_transaction::type_id::create(req); req.opcode CHI_OP_READUNIQUE; req.addr this.addr; req.src_id local_node_id; req.tgt_id home_node_id; // 根据地址映射 req.txn_id generate_txn_id(); req.mem_attr.cacheable 1; req.snp_attr 1; req.excl 1; req.exp_comp_ack 1; // RN-F读事务需要CompAck start_item(req); finish_item(req); // 2. 等待并处理响应可能是分离的 RespSepData 和 DataSepResp fork begin : wait_resp get_response(rsp); if (rsp.opcode inside {CHI_OP_RESPSEPDATA, CHI_OP_COMPDATA}) begin uvm_info(SEQ, $sformatf(Received response with state %s, rsp.resp.name()), UVM_MEDIUM) // 检查状态是否符合预期 assert(rsp.resp expected_state) else uvm_error(SEQ, $sformatf(Cache state mismatch! Exp:%s, Got:%s, expected_state.name(), rsp.resp.name())) end end begin : wait_data get_response(dat); if (dat.opcode CHI_OP_DATASEPRESP) begin uvm_info(SEQ, Received data payload, UVM_MEDIUM) // 此处可检查数据内容 end end join // 3. 发送 CompAck if (req.exp_comp_ack) begin chi_transaction compack chi_transaction::type_id::create(compack); compack.opcode CHI_OP_COMPACK; compack.tgt_id rsp.src_id; // 发给Home节点 compack.src_id local_node_id; compack.txn_id rsp.dbid; // 使用DBID作为TxnID start_item(compack); finish_item(compack); end endtask endclass说明以上代码为概念性示例展示了使用UVM验证方法学测试一个ReadUnique事务的基本流程包括请求、等待分离响应和数据、以及发送完成确认。实际验证环境需要更完整的序列、驱动、监视器和记分板。