跳转至

设计文档索引

本目录记录 XS-GEM5 中重要机制的设计动机、约束、取舍与跨模块边界。源码仍是实现行为的最终依据。

当前文档分为两组:

阅读设计文档时,建议先建立模块边界和不变量,再沿文末的代码入口核对当前实现。源码变化后,设计意图与不变量通常比具体行号更稳定。