买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉电子科技大学;电子科技大学(深圳)高等研究院申请的专利一种存储器测试March类算法的生成方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115954038B 。

龙图腾网通过国家知识产权局官网在2025-07-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211660776.7，技术领域涉及：G11C29/10；该发明授权一种存储器测试March类算法的生成方法是由肖寅东;路杉杉;戴志坚;刘科;王厚军设计研发完成，并于2022-12-23向国家知识产权局提交的专利申请。

本一种存储器测试March类算法的生成方法在说明书摘要公布了：本发明公开了一种存储器测试March类算法的生成方法，首先构建的访存操作状态转换描述符，然后确定故障原语对应的最简检测序列并构建最简检测序列表，最后使用最简检测序列合成与故障类型适配的March类算法：列出故障，找到最简检测序列，分组、组内合并、组间合并、拼接获得March类算法、获得相反地址增加方向March类算法，最后将两部分March类算法拼接在一起，得到最后的March类算法，这样得到给定故障字典的合适的March类算法，让March算法的使用更加灵活。

本发明授权一种存储器测试March类算法的生成方法在权利要求书中公布了：1.一种存储器测试March类算法的生成方法，其特征在于，包括以下步骤： 1、构建访存操作状态转换描述符 访存操作状态转换描述符的表达式为LASCASHASao1LASCASHAS其中，LAS表示存储器中低地址单元状态，CAS表示当前地址单元状态，HAS表示高地址单元状态，LAS、CAS、HAS∈{x,0,1}，其中，x表示不关心存储单元是什么状态，0表示存储单元的状态为0，1表示存储单元的状态为1，a表示地址增加方向，o1表示一个访存操作，其中访存操作状态转换描述符表达式中的LASCASHAS称为状态元组，第一个LASCASHAS称为访存操作前状态元组FST，第二个LASCASHAS称为访存操作后状态元组LST，表达式中的FST和LST根据具体情况都可以省略； 2、确定故障原语对应的最简检测序列并构建最简检测序列表 使用访存操作状态转换描述符以及特殊符号来描述最简检测序列，其中，特殊符号“*”代表可以添加零个或是多个访存操作，只要添加的额外访存操作不会改变故障的敏化操作，“^”表示当前访存操作必须是March元素的第一个操作，“#”表示March元素可以从当前位置上分割成两个March元素，但是可以选择不分割当前March元素，“；”表示March元素必须在当前位置上分割成两个March元素，其中，特殊符号“^”，“#”，“；”都是修饰其后面紧挨着的访存操作，特殊符号“*”不修饰任何一个访存操作；最简检测序列是根据故障类型、存储单元的起始状态来确定的故障敏化和检测的访存操作状态转换描述符，若是耦合故障，还要考虑攻击单元与受害单元的相对地址方向； 把描述故障敏化的访存操作状态转换描述符与特殊符号的组合称之为敏化路径，把描述故障检测的访存操作状态转换描述符与特殊符号的组合称之为检测路径； 2.1、耦合故障的最简检测序列中敏化路径的确定 2.1.1、确定敏化时攻击单元和受害单元的操作或状态； 2.1.2、确定攻击单元和受害单元的相对地址方向； 2.1.3、确定敏化路径中的访存操作前后状态元组：分为以下三种情况： a.攻击单元的敏化操作是操作，如果攻击单元的敏化操作是写操作，那么使用当前地址单元表示攻击单元，访存操作前状态元组中当前地址单元状态写入写操作前的状态，如果攻击单元的敏化操作是读操作，使用当前地址单元表示攻击单元，且操作前状态元组中的当前地址单元状态是读操作之后的状态；再根据攻击单元和受害单元的相对地址方向来确定高地址是受害单元还是低地址是受害单元，在相对应的位置写入受害单元的状态，剩余的状态，如果没有特殊要求，写入x；将地址增加方向和敏化的访存操作与访存操作前状态元组组合起来，同时根据访存操作，写出访存操作后状态元组，得到敏化路径； b.受害单元的敏化操作是操作，如果受害单元的敏化操作是写操作，那么使用当前地址单元表示受害单元，访存操作前状态元组中当前地址单元状态写入写操作前的状态，如果受害单元的敏化操作是读操作，使用当前地址单元表示受害单元，且操作前状态元组中的当前地址单元状态是读操作之后的状态；再根据攻击单元和受害单元的相对地址方向来确定高地址是攻击单元还是低地址是攻击单元，在相对应的位置写入攻击单元的状态，剩余的状态，如果没有特殊要求，写入x；将地址增加方向和敏化的访存操作与访存操作前状态元组组合起来，同时根据访存操作，写出访存操作后状态元组，得到敏化路径； c.攻击单元和受害单元的敏化操作都是状态，那么敏化路径在描述的时候省略访存操作状态转换描述符中的地址增加方向和访存操作，只以一个状态元组来表示敏化路径；当前地址单元既可以是攻击单元也可以是受害单元，如果当前地址单元是受害单元，那么在状态元组中的当前地址单元写入受害单元敏化时的状态，再根据受害单元与攻击单元的相对地址关系，在状态元组的对应位置，写入攻击单元敏化时的状态，剩余的位置，写入x，并且如果当前地址单元是受害单元，那么检测路径和敏化路径可以在一个March元素中；如果当前地址单元是攻击单元，那么在状态元组中的当前地址单元写入攻击单元敏化时的状态，再根据受害单元与攻击单元的相对地址关系，在状态元组的对应位置，写入受害单元敏化时的状态，剩余的位置，写入x，并且如果当前地址单元是攻击单元，那么检测路径和敏化路径要分割在两个March元素中； 2.2、单一单元故障的最简检测序列中敏化路径的确定 2.2.1、确定敏化时故障单元的操作或状态； 2.2.2、确定敏化路径中的状态元组：分为两种情况： a.如果故障单元的敏化是状态，使用当前地址单元表示故障单元，只使用一个状态元组来表示故障的敏化路径，在状态元组的当前地址单元写入敏化时故障单元的状态，剩余位置，写入x； b.如果故障单元的敏化是操作，分为读操作和写操作，如果是读操作，在访存操作前状态元组的当前地址单元保存读操作之后的状态，其余位置，写入x；如果是写操作，那么在访存操作前状态元组的当前地址单元的状态就是写操作前的状态，剩余位置写为x；将访存操作和地址增加方向与访存操作前状态元组组合起来，并根据访存操作，得到访存操作后状态元组，得到敏化路径； 2.3、最简检测序列中检测路径的确定 检测路径只有一个读操作就可以完成，这个读操作是根据受害单元来确定； 2.3.1、如果受害单元的敏化是状态0，那么检测路径就是r0；如果受害单元的敏化是状态1，那么检测路径就是r1； 2.3.2、如果受害单元的敏化是操作，检测路径就根据操作之后的状态来确定，操作之后的状态是0，那么检测路径就是r0,操作之后的状态是1，那么检测路径就是r1； 2.4、将敏化路径，检测路径按顺序拼接，并根据特殊符号代表的特性，用特殊符号修饰对应的访存操作构成故障原语对应的最简检测序列，所有故障原语对应的最简检测序列构成最简检测序列表； 3、使用最简检测序列合成与故障类型适配的March类算法 3.1、列出想要检测的故障，保留一个地址增加方向上的故障原语：即要么全部保持↑方向上的故障原语，要么全部保持↓方向上的故障原语； 3.2、根据故障原语，在最简检测序列表找到对应故障原语的最简检测序列； 3.3、将具有相同的访存操作的最简检测序列分成一组； 3.4、查看同一组内的最简检测序列的状态元组，此时会出现两种情况，一是最简检测序列的状态元组不匹配，即两个状态元组之间不是相等关系或是包含关系，不能进行合并，那么将不能合并的最简检测序列分割成不同的组；二是状态元组之间是相等关系或包含关系，将最简检测序列合并，合并的规则就是保留访存操作，状态元组保留约束最多的，约束最多是指状态元组中确定的状态最多； 3.5、相同组内的最简检测序列合并完成之后，进行不同组间的合并，不同组间的合并需要考虑两个因素，即状态元组和访存操作序列，分以下两种情况：一是状态元组是相等或是包含关系，此时检查相同或包含关系的状态元组后的访存操作是否相等，或者是某一访存操作是不改变状态元组的读操作，如果是以上关系，且两个访存操作前的地址增加方向相等，进行合并，即保留状态元组，将访存操作合并在同一March元素中；二是最简检测序列中的March元素中是否存在相等或是包含关系的March元素，若存在，且两个March元素的地址增加方向相同，检查各个访存操作前后的状态元组是否满足相等或包含关系，若满足，进行合并，即保留March元素，将状态元组进行合并，保留约束最多的状态元组； 重复本步骤，直至所有的组都不能再进行合并为止； 3.6、合并完不同组之后，罗列每个March元素的初始状态和结束状态，若两个March元素M1和M2，M1的结束状态与M2的初始状态相同，则将M2拼接在M1后，以保证M2的初始状态，在第一个March元素之前增加一个写操作，来保证第一个March元素的初始状态；如果出现不能拼接的情况，在两个March元素之间，增加一个只包含一个写访存的March元素，写操作之后的状态就是后一个March元素的初始状态；其中March元素的初始状态是指在March元素进行之前，存储单元应该保证的状态，即March元素中第一个访存操作操作前状态元组的当前地址单元的状态值，March元素的结束状态是指March元素中操作完成之后的状态，是March元素最后一个访存操作操作后状态元组中的当前地址单元的状态值； 3.7、以上步骤得到一个地址增加方向上的March类算法，将得到的March类算法的地址增加方向转换为相反的地址增加方向，即可得到检测另一个地址增加方向上的March类算法，将两部分March类算法拼接在一起，得到最后的March类算法。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人电子科技大学;电子科技大学(深圳)高等研究院，其通讯地址为：611731 四川省成都市高新区（西区）西源大道2006号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。