-
公开(公告)号:CN112433897A
公开(公告)日:2021-03-02
申请号:CN202011227535.4
申请日:2020-11-06
Applicant: 北京中电华大电子设计有限责任公司
Abstract: 本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法,其特征在于只需提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认,仿真验证激励和相应说明文档均自动生成,大大缩短了仿真验证激励的开发时间,提升了验证效率。对于特殊功能的寄存器或寄存器位,采用对寄存器特征数据进行标注的方式,使得自动化生成激励的同时,也生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备,验证质量更高。
-
公开(公告)号:CN112433897B
公开(公告)日:2023-01-20
申请号: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芯片的仿真验证。
-
-