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

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

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

本一种存储器测试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元素的访存操作状态转换描述符； 2.1、确定March元素的初始状态； March元素的初始状态与整个March算法中当前March元素的前一个March元素的最终状态保持一致，其中March元素的最终状态等于March元素最后一个访存操作的访存操作后状态元组LST的当前地址单元状态CAS值；如果当前March元素在整个March算法中是第一个March元素，则根据设定的初始状态确定或把初始状态记为x； 2.2、确定访存操作前状态元组FST的状态； 如果是第一个访存操作，其访存操作前状态元组FST的状态要根据March元素中最后一个写访存操作确定，如果地址增加方向为↑，则第一个访存操作的访存操作前状态元组FST的低地址单元状态LAS为最后一个写操作写入的状态；如果地址增加方向相反，则第一个访存操作的访存操作前状态元组FST的高地址单元状态HAS为最后一个写操作写入的状态，剩余的位置与初始状态相同； 如果不是第一个操作，即从第二个访存操作开始的访存操作，此访存操作的访存操作前状态元组是前一个访存操作的访存操作后状态元组； 2.3、确定访存操作后状态元组LST的状态； 当前访存操作如果是读操作，那么访存操作后状态元组LST和访存操作前状态元组FST相同，当前访存操作如果是写操作，访存操作后状态元组LST的低地址单元状态LAS和高地址单元状态都与访存操作前状态元组FST保持一致，当前地址单元状态CAS等于写操作写入的值； 2.4、按顺序得到March元素所有访存操作的前后状态元组； 3、确定故障原语对应的最简检测序列并构建最简检测序列表； 使用访存操作状态转换描述符以及特殊符号来描述最简检测序列，其中，特殊符号“*”代表能添加零个或是多个访存操作，只要添加的额外访存操作不会改变故障的敏化操作，“^”表示当前访存操作必须是March元素的第一个操作，“#”表示March元素能从当前位置上分割成两个March元素，但是能选择不分割当前March元素，“；”表示March元素必须在当前位置上分割成两个March元素，其中，特殊符号“^”，“#”，“；”都是修饰其后面紧挨着的访存操作，特殊符号“*”不修饰任何一个访存操作；最简检测序列是根据故障类型、存储单元的起始状态来确定的故障敏化和检测的访存操作状态转换符，若是耦合故障，还要考虑攻击单元与受害单元的相对地址方向； 把描述故障敏化的访存操作状态转换描述符与特殊符号的组合称之为敏化路径，把描述故障检测的访存操作状态转换描述符与特殊符号的组合称之为检测路径； 3.1、耦合故障的最简检测序列中敏化路径的确定； 3.1.1、确定敏化时攻击单元和受害单元的操作或状态； 3.1.2、确定攻击单元和受害单元的相对地址方向； 3.1.3、确定敏化路径中的访存操作前后状态元组：分为以下三种情况： a.攻击单元的敏化操作是操作，如果攻击单元的敏化操作是写操作，那么使用当前地址单元表示攻击单元，访存操作前状态元组中当前地址单元状态写入写操作前的状态，如果攻击单元的敏化操作是读操作，使用当前地址单元表示攻击单元，且操作前状态元组中的当前地址单元状态是读操作之后的状态；再根据攻击单元和受害单元的相对地址方向来确定高地址是受害单元还是低地址是受害单元，在相对应的位置写入受害单元的状态，剩余的状态，如果没有特殊要求，写入x；将地址增加方向和敏化的访存操作与访存操作前状态元组组合起来，同时根据访存操作，写出访存操作后状态元组，得到敏化路径； b.受害单元的敏化操作是操作，如果受害单元的敏化操作是写操作，那么使用当前地址单元表示受害单元，访存操作前状态元组中当前地址单元状态写入写操作前的状态，如果受害单元的敏化操作是读操作，使用当前地址单元表示受害单元，且操作前状态元组中的当前地址单元状态是读操作之后的状态；再根据攻击单元和受害单元的相对地址方向来确定高地址是攻击单元还是低地址是攻击单元，在相对应的位置写入攻击单元的状态，剩余的状态，如果没有特殊要求，写入x；将地址增加方向和敏化的访存操作与访存操作前状态元组组合起来，同时根据访存操作，写出访存操作后状态元组，得到敏化路径； c.攻击单元和受害单元的敏化操作都是状态，那么敏化路径在描述的时候省略访存操作状态转换描述符中的地址增加方向和访存操作，只以一个状态元组来表示敏化路径；当前地址单元既能是攻击单元也能是受害单元，如果当前地址单元是受害单元，那么在状态元组中的当前地址单元写入受害单元敏化时的状态，再根据受害单元与攻击单元的相对地址关系，在状态元组的对应位置，写入攻击单元敏化时的状态，剩余的位置，写入x，并且如果当前地址单元是受害单元，那么检测路径和敏化路径能在一个March元素中；如果当前地址单元是攻击单元，那么在状态元组中的当前地址单元写入攻击单元敏化时的状态，再根据受害单元与攻击单元的相对地址关系，在状态元组的对应位置，写入受害单元敏化时的状态，剩余的位置，写入x，并且如果当前地址单元是攻击单元，那么检测路径和敏化路径要分割在两个March元素中； 3.2、单一单元故障的最简检测序列中敏化路径的确定； 3.2.1、确定敏化时故障单元的操作或状态； 3.2.2、确定敏化路径中的状态元组：分为两种情况： a.如果故障单元的敏化是状态，使用当前地址单元表示故障单元，只使用一个状态元组来表示故障的敏化路径，在状态元组的当前地址单元写入敏化时故障单元的状态，剩余位置，写入x； b.如果故障单元的敏化是操作，分为读操作和写操作，如果是读操作，在访存操作前状态元组的当前地址单元保存读操作之后的状态，其余位置，写入x；如果是写操作，那么在访存操作前状态元组的当前地址单元的状态就是写操作前的状态，剩余位置写为x；将访存操作和地址增加方向与访存操作前状态元组组合起来，并根据访存操作，得到访存操作后状态元组，得到敏化路径； 3.3、最简检测序列中检测路径的确定； 检测路径只有一个读操作就能完成，这个读操作是根据受害单元来确定； 3.3.1、如果受害单元的敏化是状态0，那么检测路径就是r0；如果受害单元的敏化是状态1，那么检测路径就是r1； 3.3.2、如果受害单元的敏化是操作，检测路径就根据操作之后的状态来确定，操作之后的状态是0，那么检测路径就是r0,操作之后的状态是1，那么检测路径就是r1； 3.4、将敏化路径，检测路径按顺序拼接，并根据特殊符号代表的特性，用特殊符号修饰对应的访存操作构成故障原语对应的最简检测序列，所有故障原语对应的最简检测序列构成最简检测序列表； 4、删除其中一个或多个不影响检测故障类型的访问操作； 4.1、将March类算法整个进行拆分，并按照步骤2的方法，得到每个March元素的访存操作状态转换描述符； 4.2、根据步骤3得到的最简检测序列表，确定哪些最简检测序列能与March算法中March元素的访存操作状态转换描述符相匹配，这样得到每个March元素能检测的故障类型，得到故障检测表； 4.3、比较故障检测表中每个March元素能检测的故障类型，如果两个或多个访存操作能检测相同的故障，则删除其中一个或多个不影响检测故障类型的访问操作，即访存操作被删除后，March类算法检测的故障类型不变，否则该访问操作保留。

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

以上内容由龙图腾AI智能生成。