一种由寄存器规格文档自动生成仿真验证激励的方法

    公开(公告)号:CN112433897A

    公开(公告)日:2021-03-02

    申请号:CN202011227535.4

    申请日:2020-11-06

    Inventor: 冯俊杰 张晓冰

    Abstract: 本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法,其特征在于只需提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认,仿真验证激励和相应说明文档均自动生成,大大缩短了仿真验证激励的开发时间,提升了验证效率。对于特殊功能的寄存器或寄存器位,采用对寄存器特征数据进行标注的方式,使得自动化生成激励的同时,也生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备,验证质量更高。

    一种由寄存器规格文档自动生成仿真验证激励的方法

    公开(公告)号:CN112433897B

    公开(公告)日:2023-01-20

    申请号:CN202011227535.4

    申请日:2020-11-06

    Inventor: 冯俊杰 张晓冰

    Abstract: 本发明公开了一种由寄存器规格文档自动生成仿真验证激励的方法,其特征在于只需提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档。验证人员只需对寄存器的特征数据进行检查确认,仿真验证激励和相应说明文档均自动生成,大大缩短了仿真验证激励的开发时间,提升了验证效率。对于特殊功能的寄存器或寄存器位,采用对寄存器特征数据进行标注的方式,使得自动化生成激励的同时,也生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备,验证质量更高。

    一种基于自体信箱机制的SOC芯片仿真验证方法及装置

    公开(公告)号:CN119358475A

    公开(公告)日:2025-01-24

    申请号:CN202411397671.6

    申请日:2024-10-08

    Abstract: 本发明涉及芯片验证技术领域,公开了一种基于自体信箱机制的SOC芯片仿真验证方法及装置,方法包括:获取SOC芯片中各存储单元的状态,并根据各存储单元的状态确定空闲存储单元;从空闲存储单元中随机选取至少一个空闲存储单元作为信箱;利用信箱接收和/或发送内部软件程序的运行状态和外部激励的运行状态;根据内部软件程序的运行状态和外部激励的运行状态,对SOC芯片进行仿真验证。本发明利用SOC芯片自身空闲存储单元作为信箱,无需增加芯片面积,使SOC芯片的内部软件程序与外部激励互相通信,在内部软件程序与外部激励相互配合场景需求下,实现对SOC芯片的仿真验证。

Patent Agency Ranking