-
公开(公告)号：CN112433897A
公开(公告)日：2021-03-02
申请号：CN202011227535.4
申请日：2020-11-06
Applicant: 北京中电华大电子设计有限责任公司
Abstract: 本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法，其特征在于只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认，仿真验证激励和相应说明文档均自动生成，大大缩短了仿真验证激励的开发时间，提升了验证效率。对于特殊功能的寄存器或寄存器位，采用对寄存器特征数据进行标注的方式，使得自动化生成激励的同时，也生成特殊寄存器报告，验证人员根据该报告对特殊寄存器加以补充验证，从而让寄存器的验证更完备，验证质量更高。
-
公开(公告)号：CN119358475A
公开(公告)日：2025-01-24
申请号：CN202411397671.6
申请日：2024-10-08
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/33
Abstract: 本发明涉及芯片验证技术领域，公开了一种基于自体信箱机制的SOC芯片仿真验证方法及装置，方法包括：获取SOC芯片中各存储单元的状态，并根据各存储单元的状态确定空闲存储单元；从空闲存储单元中随机选取至少一个空闲存储单元作为信箱；利用信箱接收和/或发送内部软件程序的运行状态和外部激励的运行状态；根据内部软件程序的运行状态和外部激励的运行状态，对SOC芯片进行仿真验证。本发明利用SOC芯片自身空闲存储单元作为信箱，无需增加芯片面积，使SOC芯片的内部软件程序与外部激励互相通信，在内部软件程序与外部激励相互配合场景需求下，实现对SOC芯片的仿真验证。
-
公开(公告)号：CN111488314B
公开(公告)日：2023-06-30
申请号：CN202010236025.7
申请日：2020-03-30
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 冯俊杰
IPC: G06F16/17 , G06F16/23 , G06F40/242 , G06F30/20
Abstract: 本发明公开了一种基于Python的仿真日志分析方法，其特征在于只需给出仿真日志的存放路径，即可自动完成对日志文件的分析和有效信息的提取，生成结果统计报告。验证人员通过查看结果统计报告，就可以迅速定位各个激励在不同验证条件下存在的问题，大大缩短了仿真日志的分析时间。与传统的人工逐一确认方法相比，该方法增强了验证人员对不同代码版本仿真结果之间的整体把握和对比，统计性的结果避免了验证人员对相同错误信息的多次确认和处理，既从根本上解决了回归阶段，仿真日志分析耗时长的问题，又在一定程度上提升了验证质量。
-
Patent Agency Ranking
公开(公告)号：CN111488314A
公开(公告)日：2020-08-04
申请号：CN202010236025.7
申请日：2020-03-30
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 冯俊杰
IPC: G06F16/17 , G06F16/23 , G06F40/242 , G06F30/20
Abstract: 本发明公开了一种基于Python的仿真日志分析方法，其特征在于只需给出仿真日志的存放路径，即可自动完成对日志文件的分析和有效信息的提取，生成结果统计报告。验证人员通过查看结果统计报告，就可以迅速定位各个激励在不同验证条件下存在的问题，大大缩短了仿真日志的分析时间。与传统的人工逐一确认方法相比，该方法增强了验证人员对不同代码版本仿真结果之间的整体把握和对比，统计性的结果避免了验证人员对相同错误信息的多次确认和处理，既从根本上解决了回归阶段，仿真日志分析耗时长的问题，又在一定程度上提升了验证质量。
-
公开(公告)号：CN117669439A
公开(公告)日：2024-03-08
申请号：CN202410015325.0
申请日：2024-01-04
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/33
Abstract: 本发明公开了一种复位模块仿真验证方法及系统、服务器和存储介质。根据本发明实施例的复位模块仿真验证方法包括获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；根据所述复位特征表和基础用例得到复位仿真方案；以及对所述复位仿真方案进行仿真。根据本发明实施例的复位模块仿真验证方法及系统、服务器和存储介质，可以实现多个复位源在多个场景下的组合验证，解决了用例编写繁琐的问题，大大提升了验证的效率与验证完备性，减少了验证成本。
-
公开(公告)号：CN115659883A
公开(公告)日：2023-01-31
申请号：CN202211390618.4
申请日：2022-11-08
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 冯俊杰
Abstract: 本申请公开了一种用于存储器控制器的验证装置、验证方法、存储介质及芯片。该验证装置包括：信息提取模块，基于存储器架构特征数据获取存储器配置信息；信息处理模块，用于根据待访问逻辑地址、存储器类型和存储器配置信息生成存储器的待访问物理地址；以及访问模块，基于待访问物理地址后门访问存储器，以将验证数据写入存储器，和/或从存储器中读取待验证数据，其中，信息处理模块还用于生成验证数据和/或对待验证数据进行数据分析，以验证存储器控制器。该验证装置搭建了用于辅助验证存储器控制器的验证环境，并有利于快速修改验证环境。
-
公开(公告)号：CN112433897B
公开(公告)日：2023-01-20
申请号：CN202011227535.4
申请日：2020-11-06
Applicant: 北京中电华大电子设计有限责任公司
Abstract: 本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法，其特征在于只需提供寄存器的规格文档，极少的人工参与，即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认，仿真验证激励和相应说明文档均自动生成，大大缩短了仿真验证激励的开发时间，提升了验证效率。对于特殊功能的寄存器或寄存器位，采用对寄存器特征数据进行标注的方式，使得自动化生成激励的同时，也生成特殊寄存器报告，验证人员根据该报告对特殊寄存器加以补充验证，从而让寄存器的验证更完备，验证质量更高。
-
公开(公告)号：CN106897485A
公开(公告)日：2017-06-27
申请号：CN201710014544.7
申请日：2017-01-09
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F17/50
Abstract: 本发明公开了一种智能回归验证管理系统，其特征在于只需要进行一些回归配置，即可完成验证环境和验证激励的更新，同时利用服务器集群的特性，将多任务并行提交到各个服务器上，极大的利用了服务器资源，并且对回归结果进行了自动统计整理，相对于传统的回归验证方式，将回归验证的时间压缩了5到10倍，大大的节省了人工统计所耗费的资源。既从根本上解决了回归验证时间耗时长的问题，又提升了验证质量的监控和验证过程的管理。
-
-
-
-
-
-
-
Search Results
8
records
(took 0.037 seconds)
