一种系统级芯片的验证平台及其验证方法

基本信息

申请号 CN202010621116.2 申请日 -
公开(公告)号 CN113868987A 公开(公告)日 2021-12-31
申请公布号 CN113868987A 申请公布日 2021-12-31
分类号 G06F30/33(2020.01)I;G06F115/08(2020.01)N 分类 计算;推算;计数;
发明人 毛惠敏;李顺林 申请(专利权)人 澜至电子科技(成都)有限公司
代理机构 上海一平知识产权代理有限公司 代理人 徐迅;成春荣
地址 610200四川省成都市双流区东升街道成都芯谷产业园集中区内
法律状态 -

摘要

摘要 本申请公开了一种系统级芯片的验证平台及验证方法,该方法包括:通用验证方法学测试实例生成约束的随机参数和随机控制并将其存储于总线功能模型的存储区域;软件测试实例通过中央处理器单元从所述存储区域读取所述随机参数和随机控制配置系统级芯片的测试;将所述软件测试实例的执行状态信息存储于所述存储区域;所述通用验证方法学测试实例读取所述执行状态信息,根据所述执行状态信息调整生成随机参数和随机控制的约束条件以排除已测场景,并将所述执行状态信息转换成覆盖率数据用于覆盖率分析。