-
公开(公告)号：CN111488723B
公开(公告)日：2023-12-26
申请号：CN202010248126.6
申请日：2020-04-01
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 王曙光
IPC: G06F30/398 , G06F11/10
Abstract: 本发明提供了一种基于脚本的SOC芯片存储控制器自动化仿真验证方法，该方法包括：通过表格对芯片配置、存储控制器功能及属性进行形式化描述；编写存储控制器底层操作函数；编写仿真验证激励框架；编写脚本对存储控制器功能形式化描述、存储控制器底层操作函数和激励框架进行处理，自动生成所需验证激励。采用本发明所述的方法，可以提高验证的效率、灵活性、准确性。
-
公开(公告)号：CN107729203A
公开(公告)日：2018-02-23
申请号：CN201711089131.1
申请日：2017-11-08
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F11/22
Abstract: 本发明公开了一种基于读卡器模型的7816接口通信仿真的方法。该方法包括：定义一种7816通信行为的简洁形式化描述格式；将需要仿真的7816通信按照格式进行描述；编写脚本解析此文件并自动生成仿真激励；搭建基于7816读卡器模型的仿真平台，执行该仿真激励以完成7816通信行为的仿真。其中7816读卡器模型分成应用层、传输层和信号层三个层次进行建模。通过本发明，可以快速进行7816接口仿真。特别是在分析与7816接口有关的芯片问题时，此方法与人工编写直接仿真激励的传统方法相比，效率极大提升。
-
公开(公告)号：CN107908514A
公开(公告)日：2018-04-13
申请号：CN201711127776.X
申请日：2017-11-15
Applicant: 北京中电华大电子设计有限责任公司
CPC classification number: G06F11/2273 , G01R31/2856 , G06F11/261
Abstract: 本发明公开了一种功耗自适应电路的仿真验证方法。此仿真验证方法的特征是通过将可配参数和能量标识信号进行随机化，并且与场景进行随机组合的方式对功耗自适应电路进行验证，同时将功耗自适应电路的输出与其BFM(行为功能模型)输出进行实时比对，来确保功耗自适应电路的功能正确性。并同时收集参数、能量标识信号、应用场景三者的随机交叉覆盖情况，以覆盖率来确保功耗自适应电路的验证完备性。相比较传统的功耗自适应电路的仿真验证方法，此方法既提高了验证效率，又提高了验证的完备性。
-
公开(公告)号：CN119358475A
公开(公告)日：2025-01-24
申请号：CN202411397671.6
申请日：2024-10-08
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/33
Abstract: 本发明涉及芯片验证技术领域，公开了一种基于自体信箱机制的SOC芯片仿真验证方法及装置，方法包括：获取SOC芯片中各存储单元的状态，并根据各存储单元的状态确定空闲存储单元；从空闲存储单元中随机选取至少一个空闲存储单元作为信箱；利用信箱接收和/或发送内部软件程序的运行状态和外部激励的运行状态；根据内部软件程序的运行状态和外部激励的运行状态，对SOC芯片进行仿真验证。本发明利用SOC芯片自身空闲存储单元作为信箱，无需增加芯片面积，使SOC芯片的内部软件程序与外部激励互相通信，在内部软件程序与外部激励相互配合场景需求下，实现对SOC芯片的仿真验证。
-
公开(公告)号：CN115834429A
公开(公告)日：2023-03-21
申请号：CN202211430117.4
申请日：2022-11-15
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 王曙光
Abstract: 本发明公开了一种芯片通信接口解调能力的仿真验证方法，通过设计一种可以在待解调数据中注入不同类型的错误的通信功能模型或其他机制，通过该功能模型向待验证芯片的通信接口发送待解调数据进行通信，在通信过程中随机在待解调数据中注入错误，通信接口接收到待解调数据后进行解调，通过对通信接口解调结果进行检查，可以得知待验证芯片的通信接口是否具备其宣称的解调能力。本发明的重点在于对待解调数据中错误的注入，针对待解调数据中的三种常见错误类型：载波丢失、脉冲变窄、毛刺干扰，构造不同程度的错误，以此来验证通信接口的解调能力。
-
Patent Agency Ranking
公开(公告)号：CN114091402A
公开(公告)日：2022-02-25
申请号：CN202111175547.1
申请日：2021-10-09
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/398
Abstract: 本发明说明了一种可以重构泛化的激励编写方法。包括：程序段松紧耦合关系划分、紧耦合关系程序生成、各个紧耦合关系程序生成最终程序。此方法可以从单一验证程序衍生出多种复合程序，提高验证的覆盖面，减少人为原因导致的遗漏。
-
公开(公告)号：CN117669439A
公开(公告)日：2024-03-08
申请号：CN202410015325.0
申请日：2024-01-04
Applicant: 北京中电华大电子设计有限责任公司
IPC: G06F30/33
Abstract: 本发明公开了一种复位模块仿真验证方法及系统、服务器和存储介质。根据本发明实施例的复位模块仿真验证方法包括获取复位特征表，其中，所述复位特征表表征寄存位置、复位源种类、复位有效条件、用例名和二级复位使能中的至少一种；根据所述复位特征表和基础用例得到复位仿真方案；以及对所述复位仿真方案进行仿真。根据本发明实施例的复位模块仿真验证方法及系统、服务器和存储介质，可以实现多个复位源在多个场景下的组合验证，解决了用例编写繁琐的问题，大大提升了验证的效率与验证完备性，减少了验证成本。
-
公开(公告)号：CN116545456A
公开(公告)日：2023-08-04
申请号：CN202310504601.5
申请日：2023-05-06
Applicant: 北京中电华大电子设计有限责任公司
Abstract: 本发明属于集成电路设计技术领域，也涉及数字信号处理领域，具体为一种调幅基带信号处理及识别方法及其装置，用于解决调幅传输的数字信号识别的问题。处理过程包括：正交信号均衡、正交信号合并、归一化相关检测、信号峰值搜索、信号强度筛选、信号判决。本方法及装置可对无线电设备中经过射频模拟电路解调后，通过模拟‑数字转换后的基带信号进行处理，最终识别出调幅信号的数字编码内容。主要应用于调幅无线电设备以及近场通信领域，负责数字信号的解码。通过此种方法及装置，可以高效、准确地识别出编码内容；具有较强的抗干扰能力、抗信号变形失真能力；对于微小信号具有灵敏的识别能力，对于低速信号具有一定的信噪比增益。
-
公开(公告)号：CN111488723A
公开(公告)日：2020-08-04
申请号：CN202010248126.6
申请日：2020-04-01
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 王曙光
IPC: G06F30/398 , G06F11/10
Abstract: 本发明提供了一种基于脚本的SOC芯片存储控制器自动化仿真验证方法，该方法包括：通过表格对芯片配置、存储控制器功能及属性进行形式化描述；编写存储控制器底层操作函数；编写仿真验证激励框架；编写脚本对存储控制器功能形式化描述、存储控制器底层操作函数和激励框架进行处理，自动生成所需验证激励。采用本发明所述的方法，可以提高验证的效率、灵活性、准确性。
-
公开(公告)号：CN110196791A
公开(公告)日：2019-09-03
申请号：CN201910357921.6
申请日：2019-04-30
Applicant: 北京中电华大电子设计有限责任公司
Inventor： 王曙光
IPC: G06F11/26
Abstract: 本发明公开了一种芯片软硬件协同仿真验证的双向同步方法，利用待验证芯片中一个寄存器，软件执行中通过CPU向该寄存器写入特定数据，验证平台实时监控该寄存器中数值的变化，将监控到该寄存器的某个值作为验证平台某个硬件事件的触发条件。芯片验证人员在开发CPU软件时，只需要在CPU软件中加入向该寄存器写数据的动作，就可以触发验证平台中该寄存器数值所对应的硬件事件，以实现软件到硬件的同步。利用待验证芯片中一个存储器单元，验证平台可以通过跨层次引用来改写该存储器单元的数值，CPU程序可以查询该存储器单元的数值，将查询到该存储器单元的某个值作为CPU程序中某软件事件的触发条件。芯片验证人员在开发验证用例时，只需要调用验证平台改写该存储器单元的数值，CPU软件就可以查询到该数值并触发该数值对应的软件事件，以实现硬件到软件的同步。本发明可以实现CPU程序(软件)与验证平台(硬件)之间双向实时同步，适用于构造复杂的芯片验证用例，减轻验证人员的编程负担。
-
-
-
-
-
-
-
-
-
Search Results
10
records
(took 0.036 seconds)
