-
公开(公告)号：CN119806653A
公开(公告)日：2025-04-11
申请号：CN202510293862.6
申请日：2025-03-12
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令流生成方法、装置、电子设备及存储介质，涉及计算机技术领域，该方法中，从操作码集中选取一操作码作为第一操作码；从第一操作码对应的后序操作码集合中选取一操作码作为第二操作码，得到由第一操作码和第二操作码构成的依赖操作码对；基于第二操作码与前序操作码集合之间的包含关系，从操作码集中获取下一依赖操作码对，直到得到对应于预设依赖关系的所有依赖操作码对；获取针对各依赖操作码对中各操作码生成的目标指令，得到由各目标指令构成的指令流。能够高效产生预设依赖关系下的全部依赖操作码对，有助于提升通过指令流对CPU进行测试的准确性。且可以在一定程度上提升通过指令流对CPU进行测试的效率。
-
公开(公告)号：CN119806652A
公开(公告)日：2025-04-11
申请号：CN202510293848.6
申请日：2025-03-12
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种指令流生成方法、装置、电子设备及存储介质，涉及计算机技术领域，包括：获取基于预设操作码序列生成的指令流描述信息；基于指令流描述信息中各指令描述条目对应的寄存器标识，确定各指令描述条目对应的第一寄存器编码；相同寄存器标识对应的第一寄存器编码相同；基于指令流描述信息中各指令描述条目对应的第一寄存器编码和操作码标识，生成各指令描述条目对应的第一指令，得到由各指令描述条目对应的第一指令构成的第一指令流。通过本方案可以产生固定指令顺序且具有寄存器依赖关系的指令流，通过这些指令流进行测试时有助于准确定位处理器内核的问题，有助于提升指令流用于处理器内核测试时的测试准确性。
-
公开(公告)号：CN119396539B
公开(公告)日：2025-03-25
申请号：CN202411986886.1
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种协议处理方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法中，获取目标片上系统的需求表征文件。将原始协议支持的事务作为待选事务，并根据需求表征文件，从待选事务中选择与需求表征文件相匹配的事务，作为目标事务。获取各目标事务的第一描述文件。基于第一描述文件为目标片上系统生成目标协议文件；其中，目标协议文件用于描述经过裁剪后的原始协议。这样，实现了为目标片上系统生成协议文件。同时，通过按照目标片上系统的需求表征文件选择的目标事务生成目标协议文件，使得最终得到的目标协议文件可以更适配目标片上系统的需求。
-
公开(公告)号：CN119415339A
公开(公告)日：2025-02-11
申请号：CN202411997226.3
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种缓存策略验证方法、装置、设备及可读存储介质，该方法包括：基于缓存在数据交互过程中的状态集合，构建初始状态机模型；初始状态机模型中的状态在对应的操作条件实现时触发转移；在初始状态机模型的状态迁移路径中，配置时间条件以得到更新状态机模型；更新状态机模型中的状态在对应的操作条件和时间条件实现时触发转移；根据初始状态机模型中的多个状态和状态迁移路径，构建与状态对应的功能特征，以及根据时间条件，构建与状态对应的性能特征；对更新状态机模型进行搜索验证，分别确定与功能特征对应的功能验证结果、与性能特征对应的性能验证结果。本发明可以提高缓存策略验证的准确性。
-
公开(公告)号：CN119396539A
公开(公告)日：2025-02-07
申请号：CN202411986886.1
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种协议处理方法、装置、电子设备及可读存储介质，涉及计算机技术领域。该方法中，获取目标片上系统的需求表征文件。将原始协议支持的事务作为待选事务，并根据需求表征文件，从待选事务中选择与需求表征文件相匹配的事务，作为目标事务。获取各目标事务的第一描述文件。基于第一描述文件为目标片上系统生成目标协议文件；其中，目标协议文件用于描述经过裁剪后的原始协议。这样，实现了为目标片上系统生成协议文件。同时，通过按照目标片上系统的需求表征文件选择的目标事务生成目标协议文件，使得最终得到的目标协议文件可以更适配目标片上系统的需求。
-
Patent Agency Ranking
公开(公告)号：CN119378461A
公开(公告)日：2025-01-28
申请号：CN202411986867.9
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种片上网络的设计方法、装置、电子设备及可读存储介质，基于目标设计需求，构建目标行为模型；基于目标行为模型以及预设代码库，生成目标代码；在目标代码不满足预设约束目标的情况下，对目标行为模型进行优化并基于优化后的目标行为模型更新目标代码，直至目标代码满足预设约束目标；基于满足预设约束目标的目标代码，生成片上网络代码文件。通过对设计流程中的目标代码进行约束验证以及优化调整目标行为模型的方式，缩小了设计流程中代码优化调整的范围，减少了代码修改代价，在确保片上网络的目标设计需求以及预设约束目标均被验证满足预期的前提下，提高了片上网络的代码生成效率。
-
公开(公告)号：CN119377030A
公开(公告)日：2025-01-28
申请号：CN202411986978.X
申请日：2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F11/263 , G06F11/22
Abstract: 本申请提供了一种片上系统验证方法、装置、电子设备及计算机可读存储介质，通过获取多个随机激励组件，以及与每个随机激励组件关联的标签，根据记录的标签获得基础激励组件和随机种子序列，并利用基础激励组件和随机种子序列进行验证失败信号的复现。本申请通过对多个随机激励组件关联标签，使用标签记录随机激励组件所使用的随机种子，根据记录的标签获得基础激励组件和随机种子序列通过对随机激励组件关联的标签的读取，获得组成随机激励组件中具体的随机种子，使得在复现过程中可以根据标签生成首次出现失败信号时相同的随机激励组件，并利用基础激励组件和随机种子序列进行验证失败信号的复现，使得复现失败信号较为容易，提升验证效率。
-
-
公开(公告)号：CN118760553A
公开(公告)日：2024-10-11
申请号：CN202410739313.2
申请日：2024-06-07
Applicant: 北京开源芯片研究院
Abstract: 本申请公开了一种UVM验证平台及验证方法，该验证方法应用于UVM验证平台，UVM验证平台与待测设备连接，该验证方法包括：根据第一预设间隔时间范围随机生成信用测试激励；根据第二预设间隔时间范围或预设间隔时间生成与所述信用测试激励数量相等的流量控制单元测试激励；根据所述信用测试激励和所述流量控制单元测试激励对所述待测设备对外发送流量控制单元的功能进行验证。其中，通过改变第一预设间隔时间范围和第二预设间隔时间范围，可以改变信用测试激励和流量控制单元测试激励的生成速率，进而模拟实际发送流量控制单元过程中信用与流量控制单元之间的多种状态，提高了对待测设备对外发送流量控制单元的功能验证的覆盖率。
-
公开(公告)号：CN118642907A
公开(公告)日：2024-09-13
申请号：CN202411116825.X
申请日：2024-08-14
Applicant: 北京开源芯片研究院
IPC: G06F11/263 , G06F11/22 , G06F9/30
Abstract: 本发明实施例提供一种异常指令生成方法、装置、电子设备及可读介质，涉及计算机技术领域。该方法中，在指令流生成环节中，基于预设的指令流配置文件中的目标配置项，确定当前的待生成指令存在的异常指令形式，作为目标异常形式，以及，获取为待生成指令设置的异常概率；目标配置项是为待生成指令设置的配置项，异常指令形式为不符合预设指令架构规定的指令约束条件的指令形式。在异常概率表征将待生成指令作为异常指令生成的情况下，基于目标异常形式以及目标配置项，生成符合目标异常形式的待生成指令。这样，可以降低人工成本，提高实现效率，进而提高验证操作的整体效率。
-
-
-
-
-
-
-
-
-
Search Results
230
records
(took 0.034 seconds)
