-
公开(公告)号: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: 本发明实施例提供一种协议处理方法、装置、电子设备及可读存储介质,涉及计算机技术领域。该方法中,获取目标片上系统的需求表征文件。将原始协议支持的事务作为待选事务,并根据需求表征文件,从待选事务中选择与需求表征文件相匹配的事务,作为目标事务。获取各目标事务的第一描述文件。基于第一描述文件为目标片上系统生成目标协议文件;其中,目标协议文件用于描述经过裁剪后的原始协议。这样,实现了为目标片上系统生成协议文件。同时,通过按照目标片上系统的需求表征文件选择的目标事务生成目标协议文件,使得最终得到的目标协议文件可以更适配目标片上系统的需求。
-
公开(公告)号: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: 本申请提供了一种片上系统验证方法、装置、电子设备及计算机可读存储介质,通过获取多个随机激励组件,以及与每个随机激励组件关联的标签,根据记录的标签获得基础激励组件和随机种子序列,并利用基础激励组件和随机种子序列进行验证失败信号的复现。本申请通过对多个随机激励组件关联标签,使用标签记录随机激励组件所使用的随机种子,根据记录的标签获得基础激励组件和随机种子序列通过对随机激励组件关联的标签的读取,获得组成随机激励组件中具体的随机种子,使得在复现过程中可以根据标签生成首次出现失败信号时相同的随机激励组件,并利用基础激励组件和随机种子序列进行验证失败信号的复现,使得复现失败信号较为容易,提升验证效率。
-
公开(公告)号:CN119396540B
公开(公告)日:2025-05-02
申请号:CN202411997212.1
申请日:2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本申请提供了一种数据处理方法、装置、电子设备及计算机可读存储介质,包括:按照与第二设备匹配的总线协议传输模式,接收第二设备发送的事务层数据包,事务层数据包包括属性字段,属性字段包括多种字段类型,不同的字段类型用于表征事务层数据包在第一设备中执行时所采用的不同的工作模式,工作模式与第一设备的总线协议传输模式相匹配;根据字段类型,从多种工作模式中选择事务层数据包在第一设备中执行时所采用的工作模式,并将所采用的工作模式作为目标工作模式;按照目标工作模式,控制第一设备对事务层数据包进行数据处理。本申请可以避免资源闲置等待,可以提高数据处理速率,从而提升数据处理性能。
-
公开(公告)号:CN119378460B
公开(公告)日:2025-04-11
申请号:CN202411986960.X
申请日:2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F30/327 , G06F15/78
Abstract: 本申请提供了一种片上网络构建方法、装置、电子设备及计算机可读存储介质,涉及计算机技术领域,包括:确定用于构成片上网络的各个路由模块,以及确定路由模块连接的接入设备;根据路由模块的内部逻辑信息,以及与每个路由模块对应的接入设备,确定路由模块的端口信息;根据每个路由模块的内部逻辑信息以及端口信息,构建与路由模块对应的模块设计文件;将所有路由模块各自的模块设计文件汇总,得到片上网络设计文件。本申请可以不受固定格式和规则的限制,生成针对路由模块的功能和特性所开发的模块设计文件,这样可以大幅降低设计文件的复杂度和冗余度,使得开发效率和开发灵活性更高。
-
公开(公告)号:CN119377168B
公开(公告)日:2025-03-07
申请号:CN202411986936.6
申请日:2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F15/78
Abstract: 本发明实施例提供一种片上网络构建方法、装置、设备及可读存储介质,该方法包括:根据待连接组件内包括的预设路由组件的层级数量,确定待连接组件的组件类型;第一类型对应的预设路由组件的层级数量大于第二类型对应的预设路由组件的层级数量;在待连接组件中确定属于第一类型的第一组件,将第一组件与预设的根路由组件的下游端口进行连接;在第一组件已连接的情况下,将根路由组件中剩余的下游端口与树状路由组件的上游端口进行连接,以使树状路由组件的下游端口处于可连接状态;在待连接组件中确定属于第二类型的第二组件,将第二组件连接到树状路由组件的下游端口,以构建树状片上网络。本发明可以提高片上网络的资源利用率。
-
公开(公告)号:CN119378460A
公开(公告)日:2025-01-28
申请号:CN202411986960.X
申请日:2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F30/327 , G06F15/78
Abstract: 本申请提供了一种片上网络构建方法、装置、电子设备及计算机可读存储介质,涉及计算机技术领域,包括:确定用于构成片上网络的各个路由模块,以及确定路由模块连接的接入设备;根据路由模块的内部逻辑信息,以及与每个路由模块对应的接入设备,确定路由模块的端口信息;根据每个路由模块的内部逻辑信息以及端口信息,构建与路由模块对应的模块设计文件;将所有路由模块各自的模块设计文件汇总,得到片上网络设计文件。本申请可以不受固定格式和规则的限制,生成针对路由模块的功能和特性所开发的模块设计文件,这样可以大幅降低设计文件的复杂度和冗余度,使得开发效率和开发灵活性更高。
-
公开(公告)号:CN119397969B
公开(公告)日:2025-04-18
申请号:CN202411997230.X
申请日:2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F30/33 , G06F30/323
Abstract: 本发明实施例提供了一种总线验证方法、装置、电子设备及可读存储介质。该方法包括:通过获取待验证总线的待验证子文件;对所述待验证子文件包含的字符进行解析,以将所述待验证子文件转换为目标验证工具可识别的可识别文件;将所述可识别文件输入至所述目标验证工具中,以获取所述待验证总线的验证结果。这样,通过将待验证总线的待验证子文件解析为目标验证工具可识别的可识别文件,可以通过目标验证工具对待验证总线进行验证,从而通过自动化的解析建模和验证,可以实现自动化的总线验证流程,减少人工干预,提高验证效率。
-
-
-
-
-
-
-
-
-