讲师备注：本页建立测试、诊断、修复三级目标。测试判断存储阵列是否失败；诊断确定故障位置和类型；冗余分析与修复尝试把可修复的失败单元替换为备用资源。
讲师备注：最后的问题区分检测覆盖与诊断分辨率，再连接到修复决策。后续每个算法都要问它激活什么条件、观察什么响应、留下什么位置信息。
讲师备注：先建立完整链条，再进入模型细节。说明可修复性与可测试性不同：算法能报错不代表能决定选择备用行还是备用列。
讲师备注：本节不以算法清单组织，而以“故障条件如何映射为地址、数据和时序操作”为主线。最后扩展到字导向与多端口存储器。
讲师备注：地址译码故障的四类是后续定理和 March 元素设计的基础。说明“周边电路故障等价为单元阵列故障”是模型抽象，不代表物理位置相同。
讲师备注：不要把所有故障都归约成固定型。SOF 与 RDF 涉及访问和读操作历史，DRF 涉及保持时间，测试图形必须显式制造这些条件。
讲师备注：强调 CFin、CFid、CFst 的激活条件不同。诊断时只知道“有耦合”还不够，还需要地址关系、攻击动作和受害值才能区分具体故障类型。
讲师备注：说明静态算法与动态时序测试的边界。若测试不插入保持或恢复条件，算法可能覆盖静态模型但对动态故障没有证据。
讲师备注：不要按页背诵历史秒数。重点是线性与二次算法的规模差异，以及“某个算法覆盖什么故障”必须由模型分析或故障仿真证明。
讲师备注：三种算法都进行全阵列读写，但数据背景和基元单元遍历不同。Checkerboard 的邻接语义依赖物理版图；GALPAT 的高覆盖以二次复杂度换取。
讲师备注：现场只展开 March C- 一条序列。强调顺序、期望值和立即写回三者不能拆散，否则变迁和耦合条件会改变。
讲师备注：字导向测试不能把位导向的 N 简单换成字数就结束，因为字内耦合与数据背景仍可能未覆盖。多背景的收益和测试时间必须定量权衡。
讲师备注：端口间故障不是两个端口各自固定型故障的并集。测试必须安排两个端口的并发或相邻访问，并考虑端口仲裁与 AND/OR 读出语义。
讲师备注：先讲顺序仿真的复杂度，再说明 RAMSES 如何用描述符消除冗余，最后把 TAGS 生成的算法映射到 MBIST 架构和时序。
讲师备注：顺序仿真直观但昂贵。规则结构允许通过小阵列仿真降低规模，但必须说明缩放条件和误差来源。
讲师备注：RAMSES 的核心是状态标志和描述符匹配，而不是实际把单元值改成故障值。这样能快速统计每个故障模型是否被激活和检测。
讲师备注：沿“读-写-读”操作序列解释攻击者与受害者角色交换。故障是否检测由标志条件决定，不需要真的写坏单元值。
讲师备注：TAGS 是一个迭代搜索框架，不是某一条固定算法。每一步都要把模板变成可仿真的具体测试，再用覆盖率与冗余性决定是否保留。
讲师备注：说明覆盖曲线存在阈值效应。生产测试要综合测试时间、目标故障优先级和算法可执行性，不应机械追求最长序列。
讲师备注：MBIST 不是一条孤立算法，而是适配特定 RAM 接口的控制和数据通路。规格不清时，生成的时序可能满足逻辑功能却违反存储核心约束。
讲师备注：强调算法复杂度 N 只是操作数量级，真实测试时间还包含访问延迟、页模式、刷新和等待。正常模式下高阻是避免存储器与功能逻辑冲突的必要条件。
讲师备注：共享结构不是把四个 RAM 当成一个 RAM。控制器和序列器可以共用，但地址、数据、时序和错误路径仍要分别适配。历史门数不可直接外推到新工艺。
讲师备注：首先区分可修复率和成品率。修复率高不代表最终成品率高，因为备用资源和 BISR 逻辑本身也占面积并可能有缺陷。
讲师备注：检测型 BIST 可以在首个错误处停止；诊断型 BIST 必须继续收集信息。FSI 的价值在于把片内压缩后的失败证据变成可离线分析的地址与 syndrome。
讲师备注：March signature 是操作维度的错误向量，不是最终芯片序列号。说明读写操作的角色不同，以及字典为何能利用存储器规则结构压缩。
讲师备注：DR 高表示类型分得细，不表示每个实例位置都能唯一确定。等价类可能共享 signature；诊断质量取决于算法、故障集合和位置信息共同约束。
讲师备注：四个条件是保守上界和提前失败判据，不是所有可修复实例的充要分类。说明 must-repair 处理必须使用备用线的故障，final-repair 再处理剩余位图。
讲师备注：逐步检查每个故障与已有枢轴的行/列匹配，展示为何正交故障最后处理。结果依赖给定备用资源数量；本例是[1] 的说明性位图。
讲师备注：修复结构不是无限资源。列组和分段改变可修复故障形状；软修复每次上电重建映射，省去一次性激光修复但增加启动流程。
讲师备注：强调 RR 的分母是坏存储块，不是全部芯片。修复提高存储部分成品率，但 BISR 面积和备用资源也可能降低基础成品率，最终收益必须用乘积模型评估。
讲师备注：明确指出 Y_m=0.7 是教学假设，不是[1] 或实际产品结果。展示从公式到成品率的乘法链，避免把修复率直接误称为成品率。
讲师备注：最后回收五条主线。下一条课程主线将把存储器看作核或 IP，讨论边界扫描、核级测试存取和模拟混合信号测试如何扩展这些证据链。