基于形式化验证的芯片IO复用验证方法

    公开(公告)号:CN114896922A

    公开(公告)日:2022-08-12

    申请号:CN202210657892.7

    申请日:2022-06-10

    Abstract: 本发明公开了一种基于形式化验证的芯片IO复用验证方法,包括如下步骤:S1、根据芯片规定定义,提炼芯片IO复用关系文件;S2、根据芯片IO复用关系文件,自动形成IO描述文件;S3、开启形式验证,同时导入芯片文件和IO描述文件到验证工具;S4、启动形式化验证,输出验证结果;S5、分析结果,判断是否为设计BUG。优点,本发明验证方法,相比传统的Uvm验证,基于形式化验证的IO复用验证技术使用简单,步骤简洁,大幅降低了工作量;该方法无需芯片系统级仿真运行,因而运行时间短,大幅提升了验证效率。

    一种SOC验证环境集成框架与验证方法

    公开(公告)号:CN114912394B

    公开(公告)日:2025-04-22

    申请号:CN202210657139.8

    申请日:2022-06-10

    Abstract: 本发明公开了一种SOC验证环境集成框架,包括测试用例管理、软件环境和硬件环境,测试用例管理包括软件程序用例、UVM验证用例和逻辑开关与配置宏,软件环境包括软件编译、软件配置、boot程序和执行程序,硬件环境包括两个顶层,分别为传统SOC验证环境顶层和UVM验证环境顶层,传统SOC验证环境顶层包括N个设备模型、接口匹配逻辑和配置匹配逻辑,UVM验证环境顶层包括多种外设的VIP验证环境。优点,提供SOC系统级验证环境的激励管理方式,采用统一的验证用例入口,支持改进型传统验证方法执行流程和带UVM验证环境的验证方法执行流程。

    一种超大规模SOC分模块组实现时序收敛的方法

    公开(公告)号:CN118036527B

    公开(公告)日:2025-04-08

    申请号:CN202410359673.X

    申请日:2024-03-27

    Abstract: 本发明公开了一种超大规模SOC分模块组实现时序收敛的方法,该方法包括如下步骤:S1、获取全芯片组的时序数据,将SOC划分为三个模块组;S2、读取每个模块组中的lib、lef、netlist和def,确定需要修复的特定模块组和无需修复的原型模块组;读取特定模块组的lib和lef,读取原型模块组的netlist和def;S3、创建多个工艺角并获取每个工艺角的时序数据信息;从特定模块组的多个工艺角中反标读入netlist和def,确定保持属性部分和需要修复部分;将保持属性部分和原型模块组设为无需修复的状态;S4、发出时序修复命令,对需要修复部分进行时序违例修复。本发明划分模块组,减少时序修复时的处理压力,有效降低成本,同时创建工艺角并反标读取数据,提升时序修复的效率和准确性。

    一种数字IC验证环境单线程运行自动化的方法

    公开(公告)号:CN119692262A

    公开(公告)日:2025-03-25

    申请号:CN202411324587.1

    申请日:2024-09-23

    Abstract: 本发明公开了一种数字IC验证环境单线程运行自动化的方法,包括步骤:S1、建立目录结构;S2、设置自动脚本,建立仿真环境开始进行仿真;S3、运行自动脚本读取三个文件,开始进行验证和编译;S4、读取编译文件和仿真文件,进行异常检测。本发明在将多个验证平台同时在一个服务器上运行时,采用bsub命令将验证平台提交到服务器集群上,充分利用服务器集群的资源,减少出现卡死的概率;同时,利用UVM打印优先级、覆盖率和测试用例的多种参数来细化验证过程,提升验证的准确性和全面性;此外,还减少了验证人员的操作过程,提升了验证的自动化程度。

    一种混合分支预测算法的仲裁方法

    公开(公告)号:CN114741118B

    公开(公告)日:2024-10-18

    申请号:CN202210350363.2

    申请日:2022-04-02

    Abstract: 本发明公开一种混合分支预测算法的仲裁方法,包括如下步骤:S1、PC分别输入三个算法模块并获得结果TAGE_RESULT、LOOP_RESULT和SF_RESULT;S2、PC判断使用SF预测结果的条件是否满足,如果满足则最终预测结果为SF_RESULT;若不满足,则进入步骤S3;S3、判断LOOP预测算法内部设置的权重计数器的值是否为最大值,为最大值时,则最终预测结果为LOOP_RESULT;若不是,则进入步骤S4;S4、TAGE预测算法的结果TAGE_RESULT作为最终结果。优点:本发明方法,实现了对TAGE、LOOP 和SF三种分支预测算法预测结果的合理仲裁,提高了分支预测精度。

    基于SRIO的嵌入式系统单片复位方法

    公开(公告)号:CN117311475A

    公开(公告)日:2023-12-29

    申请号:CN202311288406.X

    申请日:2023-10-08

    Inventor: 朱秉颖 李世平

    Abstract: 本发明涉及嵌入式系统领域,尤其涉及一种基于SRIO的嵌入式系统单片复位方法,应用于嵌入式系统的处理模块;嵌入式系统的处理模块包括第一单片和第二单片;第二单片和若干第一单片通过SRIO交换互连,进行数据传输;第一单片的第一片内同步任务用于完成递增数增加,第二片内同步任务用于对第一片内同步任务的递增数增加进行判断并发送心跳给第二单片;第二单片包括片间心跳监测任务、片间镜像传输任务和若干片内同步任务,片内同步任务用于对第二单片进行监测及复位,片间心跳监测任务用于完成片间的心跳监测并对第一单片进行复位,片间镜像传输任务用于完成片间的镜像传输。本发明对故障片单独隔离,复位而不影响其它片的工作。

    一种MCU分布式模拟IP供电网络布线方法

    公开(公告)号:CN117034850A

    公开(公告)日:2023-11-10

    申请号:CN202310684984.9

    申请日:2023-06-12

    Abstract: 本发明涉及一种MCU分布式模拟IP供电网络布线方法,构建MCU分布式模拟IP的环形供电网络,环形供电网络包括供电环;其中,MCU芯片四周排布各种IO接口单元,构成IO环,MCU芯片内部包括模拟IP,构成芯片本体,环形供电网络设于IO环与芯片本体之间的物理隔离带上;基于模拟IP名称通过EDA工具获取模拟IP的物理位置参数,计算与信号IO的相对位置后,将各模拟IP分布式设置在芯片内部靠近对应信号IO位置处;通过EDA工具计算出各模拟IP与供电环的相对位置,进行供电环与模拟IP之间的供电连接线的自动布线;基于模拟IP与相对应信号IO的相对位置通过EDA工具进行模拟IP与信号IO之间的信号传输线的自动布线。本发明实现分布式模拟IP供电网络自动布线。

    基于FPGA的数字射频前端及信号发送、接收方法

    公开(公告)号:CN116938274A

    公开(公告)日:2023-10-24

    申请号:CN202310943884.3

    申请日:2023-07-31

    Abstract: 本发明涉及一种基于FPGA的数字射频前端,包括:FPGA和连接于FPGA的存储器、射频DAC及射频ADC;FPGA,用于获取上位机的基带信号并存入存储器中,从存储器中读取基带信号,将基带信号进行插值滤波从而倍频到中频信号;用于将从射频ADC接收的中频信号进行抽取滤波从而降频到基带信号后存入存储器,从存储器中读取基带信号后发送至上位机;存储器用于存储基带信号;射频DAC用于接收FPGA发送的中频信号,将中频信号倍频到射频段生成射频信号并发出;射频ADC用于接收射频信号,将射频信号降频到中频段生成中频信号并发送至FPGA。本发明结构简单,切换频带方便。

    紧耦合一致性总线的三级cache机制的实现方法

    公开(公告)号:CN116737459A

    公开(公告)日:2023-09-12

    申请号:CN202310721075.8

    申请日:2023-06-19

    Inventor: 张智 李世平 郝明

    Abstract: 本发明公开了紧耦合一致性总线的三级cache机制的实现方法,涉及到多核处理器调度机制技术领域。本发明包括以下步骤:在一致性总线内的监听过滤器中增加共享位,并判断共享位所处0位或1位;当发起读数据操作的处理器核的监听过滤器行无效,根据共享位所处状态为0位或1位、总的监听过滤器的个数以及三级cache是否有效,判断是否通过监听过滤器返回的数据更新三级cache的数据;满足获取条件时,其余处理器核直接从三级cache读取数据。本发明通过提前将三级cache更新作为最新数据的备份,使得满足一定条件的场景下,可以优先访问三级cache,从而减少对其他处理器核的监听操作,提高数据读取速度。

Patent Agency Ranking