-
公开(公告)号：CN119415339B
公开(公告)日：2025-04-11
申请号：CN202411997226.3
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种缓存策略验证方法、装置、设备及可读存储介质，该方法包括：基于缓存在数据交互过程中的状态集合，构建初始状态机模型；初始状态机模型中的状态在对应的操作条件实现时触发转移；在初始状态机模型的状态迁移路径中，配置时间条件以得到更新状态机模型；更新状态机模型中的状态在对应的操作条件和时间条件实现时触发转移；根据初始状态机模型中的多个状态和状态迁移路径，构建与状态对应的功能特征，以及根据时间条件，构建与状态对应的性能特征；对更新状态机模型进行搜索验证，分别确定与功能特征对应的功能验证结果、与性能特征对应的性能验证结果。本发明可以提高缓存策略验证的准确性。
-
公开(公告)号：CN119397994B
公开(公告)日：2025-04-11
申请号：CN202411987000.5
申请日：2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F30/398 , G06F30/31 , G06F115/02
Abstract: 本申请提供了一种片上网络的验证方法、装置、电子设备及可读存储介质，包括：响应于输入命令，提取输入命令中携带的第一标签，根据第一标签，从激励组件集合中找到与第一标签匹配的目标第二标签，并获取携带目标第二标签的目标激励组件，激励组件集合包括多个激励组件，每个激励组件携带有第二标签，第二标签用于描述激励组件对应的片上网络片区，在验证平台对片上网络的设计文件进行验证的过程中，编译并运行目标激励组件，获得片上网络片区的验证结果，完成对片上网络片区的验证，可以减少区分激励组件耗费的时间，降低获取目标激励组件的时间，从而提高片上网络片区验证的效率。
-
公开(公告)号：CN119397205B
公开(公告)日：2025-04-11
申请号：CN202411997236.7
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种状态图生成方法、装置、电子设备及存储介质，涉及计算机技术领域，该方法中，获取目标状态集合对应的目标网络图；将目标状态集合对应的节点坐标约束规则，以及目标网络图输入可满足性模型理论求解器，得到可满足性模型理论求解器输出的目标网络图中各节点对应的节点坐标值；基于节点坐标值和边生成目标状态集合对应的状态图。这样，实现了对大量状态集合的可视化操作，能够通过可满足性模理论求解状态位置，使得用户可以灵活便利对求解过程进行复杂约束设置，通过可满足性模理论精确处理复杂约束，自动生成符合用户需求的状态图布局，有助于提升生成海量状态对应的状态图的效率。
-
公开(公告)号：CN119397969A
公开(公告)日：2025-02-07
申请号：CN202411997230.X
申请日：2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F30/33 , G06F30/323
Abstract: 本发明实施例提供了一种总线验证方法、装置、电子设备及可读存储介质。该方法包括：通过获取待验证总线的待验证子文件；对所述待验证子文件包含的字符进行解析，以将所述待验证子文件转换为目标验证工具可识别的可识别文件；将所述可识别文件输入至所述目标验证工具中，以获取所述待验证总线的验证结果。这样，通过将待验证总线的待验证子文件解析为目标验证工具可识别的可识别文件，可以通过目标验证工具对待验证总线进行验证，从而通过自动化的解析建模和验证，可以实现自动化的总线验证流程，减少人工干预，提高验证效率。
-
公开(公告)号：CN119397720A
公开(公告)日：2025-02-07
申请号：CN202411997243.7
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种片上网络的仿真方法、装置、电子设备及存储介质，涉及片上网络技术领域。方法包括：获取网络仿真结构参数、任务仿真分配参数和性能优化条件；获取片上网络的仿真任务；获取片上网络的仿真规模；基于可满足性模理论模型的求解器，得到仿真任务在所述仿真规模下，满足网络仿真结构参数、任务仿真分配参数和性能优化条件的情况下对应的最优的节点物理拓扑仿真结果。一方面，可以降低片上网络的设计难度；另一方面，通过该可满足性模理论模型的求解器得到的该最优的节点物理拓扑仿真结果具有较高的准确性，对片上网络的设计有较强的参照意义，利于提升片上网络的设计效率，并提升片上网络的设计准确性。
-
Patent Agency Ranking
公开(公告)号：CN119397205A
公开(公告)日：2025-02-07
申请号：CN202411997236.7
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供一种状态图生成方法、装置、电子设备及存储介质，涉及计算机技术领域，该方法中，获取目标状态集合对应的目标网络图；将目标状态集合对应的节点坐标约束规则，以及目标网络图输入可满足性模型理论求解器，得到可满足性模型理论求解器输出的目标网络图中各节点对应的节点坐标值；基于节点坐标值和边生成目标状态集合对应的状态图。这样，实现了对大量状态集合的可视化操作，能够通过可满足性模理论求解状态位置，使得用户可以灵活便利对求解过程进行复杂约束设置，通过可满足性模理论精确处理复杂约束，自动生成符合用户需求的状态图布局，有助于提升生成海量状态对应的状态图的效率。
-
公开(公告)号：CN119396598A
公开(公告)日：2025-02-07
申请号：CN202411997215.5
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种片上网络的请求分配方法、装置、电子设备及存储介质，涉及计算机技术领域。方法包括：对同一时刻接收的多个资源请求按照优先级分组得到若干个资源请求组；一个资源请求组包含若干个优先级相同的资源请求，不同的资源请求组中资源请求的优先级不同；针对片上网络的资源和多个资源请求建立波前分配模型；按照优先级从高到低的顺序，基于波前分配模型，依次对各个资源请求组分配片上网络的资源。该波前模型的针对性更强，因此准确性更高，进而基于该分配模型进行的资源请求的资源分配具有较高的准确性，能够降低片上网络的资源冲突。
-
公开(公告)号：CN119396349A
公开(公告)日：2025-02-07
申请号：CN202411996848.4
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本发明实施例提供了一种缓存验证方法、装置、电子设备及可读存储介质。该方法包括：通过构建第一子程序；第一子程序用于生成数据访存请求；基于待验证缓存的功能行为信息，构建第二子程序；第二子程序用于接收数据访存请求，并基于功能行为信息响应数据访存请求；基于第二子程序的响应结果生成待验证缓存的验证结果。这样，本发明实施例通过基于待验证缓存的功能行为信息构建第二子程序，可以实现对待验证缓存的硬件建模，同时，通过构建用于生成数据访存请求的第一子程序，并根据第二子程序的响应结果，得到验证结果，可以根据不同的数据访存请求实现对测试的约束，满足不同的缓存验证需求，提高缓存验证的效果。
-
公开(公告)号：CN119377168A
公开(公告)日：2025-01-28
申请号：CN202411986936.6
申请日：2024-12-31
Applicant: 北京开源芯片研究院
IPC: G06F15/78
Abstract: 本发明实施例提供一种片上网络构建方法、装置、设备及可读存储介质，该方法包括：根据待连接组件内包括的预设路由组件的层级数量，确定待连接组件的组件类型；第一类型对应的预设路由组件的层级数量大于第二类型对应的预设路由组件的层级数量；在待连接组件中确定属于第一类型的第一组件，将第一组件与预设的根路由组件的下游端口进行连接；在第一组件已连接的情况下，将根路由组件中剩余的下游端口与树状路由组件的上游端口进行连接，以使树状路由组件的下游端口处于可连接状态；在待连接组件中确定属于第二类型的第二组件，将第二组件连接到树状路由组件的下游端口，以构建树状片上网络。本发明可以提高片上网络的资源利用率。
-
公开(公告)号：CN119396540B
公开(公告)日：2025-05-02
申请号：CN202411997212.1
申请日：2024-12-31
Applicant: 北京开源芯片研究院
Abstract: 本申请提供了一种数据处理方法、装置、电子设备及计算机可读存储介质，包括：按照与第二设备匹配的总线协议传输模式，接收第二设备发送的事务层数据包，事务层数据包包括属性字段，属性字段包括多种字段类型，不同的字段类型用于表征事务层数据包在第一设备中执行时所采用的不同的工作模式，工作模式与第一设备的总线协议传输模式相匹配；根据字段类型，从多种工作模式中选择事务层数据包在第一设备中执行时所采用的工作模式，并将所采用的工作模式作为目标工作模式；按照目标工作模式，控制第一设备对事务层数据包进行数据处理。本申请可以避免资源闲置等待，可以提高数据处理速率，从而提升数据处理性能。
-
-
-
-
-
-
-
-
-
Search Results
32
records
(took 0.038 seconds)
