-
公开(公告)号：CN116775509A
公开(公告)日：2023-09-19
申请号：CN202310641321.9
申请日：2023-05-31
申请人： 合芯科技有限公司 , 合芯科技(苏州)有限公司
IPC分类号： G06F12/0815 , G06F12/0811
摘要： 本申请是关于一种缓存一致性验证方法、装置、设备以及存储介质，应用于基于AMBA CHI协议的多核系统，所述方法包括分别获取目标缓存中目标缓存行的目标状态类型以及第一缓存中第一缓存行的待验证状态类型；目标缓存与第一缓存隶属不同的内核，目标缓存行与第一缓存行均存储有相同数据地址下的数据；根据目标状态类型，匹配目标状态类型对应的状态转换规则；状态转换规则用于指示目标缓存行在目标状态类型下，第一缓存行满足缓存一致性的状态类型以及数据一致性；根据状态转换规则、待验证状态类型以及第一缓存行中存储的数据，验证多核系统是否满足缓存一致性，得到验证结果，并返回验证结果。实现了验证基于AMBA CHI协议的多核系统的缓存一致性。
-
公开(公告)号：CN116775509B
公开(公告)日：2024-03-22
申请号：CN202310641321.9
申请日：2023-05-31
申请人： 合芯科技有限公司 , 合芯科技(苏州)有限公司
IPC分类号： G06F12/0815 , G06F12/0811
摘要： 本申请是关于一种缓存一致性验证方法、装置、设备以及存储介质，应用于基于AMBA CHI协议的多核系统，所述方法包括分别获取目标缓存中目标缓存行的目标状态类型以及第一缓存中第一缓存行的待验证状态类型；目标缓存与第一缓存隶属不同的内核，目标缓存行与第一缓存行均存储有相同数据地址下的数据；根据目标状态类型，匹配目标状态类型对应的状态转换规则；状态转换规则用于指示目标缓存行在目标状态类型下，第一缓存行满足缓存一致性的状态类型以及数据一致性；根据状态转换规则、待验证状态类型以及第一缓存行中存储的数据，验证多核系统是否满足缓存一致性，得到验证结果，并返回验证结果。实现了验证基于AMBA CHI协议的多核系统的缓存一致性。
-
公开(公告)号：CN118132463A
公开(公告)日：2024-06-04
申请号：CN202410243938.X
申请日：2023-05-31
申请人： 合芯科技有限公司 , 合芯科技(苏州)有限公司
发明人： 沈秀红
IPC分类号： G06F12/0815 , G06F12/0811
摘要： 本申请是关于一种缓存一致性验证方法、装置、设备以及存储介质，应用于基于AMBA CHI协议的多核系统，所述方法包括分别获取目标缓存中目标缓存行的目标状态类型以及第一缓存中第一缓存行的待验证状态类型；目标缓存与第一缓存隶属不同的内核，目标缓存行与第一缓存行均存储有相同数据地址下的数据；根据目标状态类型，匹配目标状态类型对应的状态转换规则；状态转换规则用于指示目标缓存行在目标状态类型下，第一缓存行满足缓存一致性的状态类型以及数据一致性；根据状态转换规则、待验证状态类型以及第一缓存行中存储的数据，验证多核系统是否满足缓存一致性，得到验证结果，并返回验证结果。实现了验证基于AMBA CHI协议的多核系统的缓存一致性。
-
公开(公告)号：CN116643945A
公开(公告)日：2023-08-25
申请号：CN202310638726.7
申请日：2023-05-31
申请人： 合芯科技有限公司 , 合芯科技(苏州)有限公司
IPC分类号： G06F11/30 , G06F11/07 , G06F12/0811
摘要： 本发明涉及计算机技术领域，尤其涉及一种二级缓存的数据检测方法、系统及计算机设备，包括：将激励产生器生成的请求打包成请求数据包后，存入与请求的类型对应的请求队列；请求包括取指请求、访问请求、存储请求和地址转换请求；监测并获取二级缓存中与请求对应的关键信息，以从请求队列中查找与关键信息具有相同请求标识的请求数据包；根据查找到的请求数据包访问内存模型，并将从内存模型中获取的数据与关键信息进行比较，若数据不一致，则报错；将经过比较后的请求数据包从请求队列中删除。本发明通过监测少量的请求关键信息实现快速有效地定位二级缓存读写数据的错误，并通过对读写请求执行顺序的检测，使其满足地址相关性要求。
-
公开(公告)号：CN116643945B
公开(公告)日：2023-12-15
申请号：CN202310638726.7
申请日：2023-05-31
申请人： 合芯科技有限公司 , 合芯科技(苏州)有限公司
IPC分类号： G06F11/30 , G06F11/07 , G06F12/0811
摘要： 本发明涉及计算机技术领域，尤其涉及一种二级缓存的数据检测方法、系统及计算机设备，包括：将激励产生器生成的请求打包成请求数据包后，存入与请求的类型对应的请求队列；请求包括取指请求、访问请求、存储请求和地址转换请求；监测并获取二级缓存中与请求对应的关键信息，以从请求队列中查找与关键信息具有相同请求标识的请求数据包；根据查找到的请求数据包访问内存模型，并将从内存模型中获取的数据与关键信息进行比较，若数据不一致，则报错；将经过比较后的请求数据包从请求队列中删除。本发明通过监测少量的请求关键信息实现快速有效地定位二级缓存读写数据的错误，并通过对读写请求执行顺序的检测，使其满足地址相关性要求。
-
公开(公告)号：CN117234591A
公开(公告)日：2023-12-15
申请号：CN202311137115.0
申请日：2023-09-04
申请人： 上海合芯数字科技有限公司 , 合芯科技有限公司
IPC分类号： G06F9/30
摘要： 本申请提供一种指令验证方法、系统、设备、介质及产品。该方法包括：激励发生器向待测缓存和缓存模型发送激励；激励是根据预设的激励发送条件和激励类型，基于Power指令集的larx指令和stcx指令生成；待测缓存响应激励，执行处理得到第一处理结果；以及，信息采集器从待测缓存中采集获得第一处理结果，发送至结果比较器；缓存模型响应激励，执行处理得到第二处理结果，并将第二处理结果发送至结果比较器；结果比较器检测第一处理结果和第二处理结果是否一致，若一致，则判定验证成功；若不一致，则判定验证失败。本申请的方案，能够全面有效地验证指令在缓存中的行为。
-
公开(公告)号：CN116644008A
公开(公告)日：2023-08-25
申请号：CN202310721710.2
申请日：2023-06-16
申请人： 合芯科技有限公司 , 上海合芯数字科技有限公司
IPC分类号： G06F12/12 , G06F12/121 , G06F12/0802
摘要： 本申请属于缓存技术领域，公开了一种缓存替换控制方法及装置；该方法包括：步骤S1，接收缓存替换请求，并获取寄存器信息；步骤S2，基于缓存替换请求和寄存器信息运行若干个缓存替换模式，得到若干个替换结果；步骤S3，若替换结果的数量大于预设数值，则根据预设的模式优先级对各替换结果进行覆盖，得到目标替换结果。本申请能够提高缓存替换控制单元中产生的缓存替换结果的可靠性。
-
公开(公告)号：CN115686631A
公开(公告)日：2023-02-03
申请号：CN202211382800.5
申请日：2022-11-07
IPC分类号： G06F9/30
摘要： 本发明公开了一种基于知识基的随机指令生成方法、装置及存储介质，方法包括：知识基包括架构测试知识、指令的操作码、寄存器和立即数的先验规则；根据知识基对输入参数进行解析，获取目标指令的指令操作名称；根据知识基调用指令操作码生成函数，随机生成指令操作码；根据知识基调用指令参数模型，获取目标指令的指令参数数据；调用对应的参数生成函数，随机生成对应的指令参数值；根据指令操作码对应的指令汇编格式，对指令参数值进行排列，生成一条具体指令；将具体指令写入指令模拟器中进行实时仿真，生成输出指令和指令执行轨迹；在知识基的指导下生成随机指令的方法可以作用于不同处理器指令集架构一致性检测。
-
公开(公告)号：CN117234591B
公开(公告)日：2024-04-16
申请号：CN202311137115.0
申请日：2023-09-04
申请人： 上海合芯数字科技有限公司 , 合芯科技有限公司
IPC分类号： G06F9/30
摘要： 本申请提供一种指令验证方法、系统、设备、介质及产品。该方法包括：激励发生器向待测缓存和缓存模型发送激励；激励是根据预设的激励发送条件和激励类型，基于Power指令集的larx指令和stcx指令生成；待测缓存响应激励，执行处理得到第一处理结果；以及，信息采集器从待测缓存中采集获得第一处理结果，发送至结果比较器；缓存模型响应激励，执行处理得到第二处理结果，并将第二处理结果发送至结果比较器；结果比较器检测第一处理结果和第二处理结果是否一致，若一致，则判定验证成功；若不一致，则判定验证失败。本申请的方案，能够全面有效地验证指令在缓存中的行为。
-
公开(公告)号：CN117494164A
公开(公告)日：2024-02-02
申请号：CN202311476955.X
申请日：2023-11-07
申请人： 上海合芯数字科技有限公司 , 合芯科技有限公司
IPC分类号： G06F21/60
摘要： 本申请涉及一种加解密模块验证方法、装置、计算机设备、存储介质和计算机程序产品。该方法包括：响应于待验证的加解密模块的读请求，获取与加解密模块关联的请求文件和数据文件，将请求文件和数据文件发送至加解密模块；请求文件中包括加解密算法模式和数据文件的文件地址，数据文件中包括与加解密算法模式对应的待处理数据；接收加解密模块返回的第一加解密结果；通过验证平台中的参考模型，调用预设函数库中与加解密算法模式对应的目标函数，对待处理数据进行加解密处理，得到第二加解密结果；根据第一加解密结果和第二加解密结果，得到针对加解密模块的加解密验证结果。采用本方法，能够提高加解密模块的验证效率。
-
-
-
-
-
-
-
-
-
搜索结果
13 条记录 (耗时 0.073 秒)
