买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：云合智网(上海)技术有限公司

摘要：本公开提供一种基于DUT替代模型的验证方法、装置、设备及介质，方法包括：判断第一DUT是否为未完成设计；响应于所述第一DUT为未完成设计，基于DUT替代模型进行验证，得到第一输出信号；基于所述第一输出信号对第二DUT进行验证，所述第二DUT与所述第一DUT在功能上相关联。根据本公开，实现了设计工作与验证工作的并行工作方式，无需等待RTL设计完成即可开展验证工作，极大缩短了验证工作和设计工作的整体时间，有效提高了芯片开发的效率。

主权项：1.一种基于DUT替代模型的验证方法，包括：判断第一DUT是否为未完成设计；响应于所述第一DUT为未完成设计，基于DUT替代模型进行验证，得到第一输出信号；基于所述第一输出信号对第二DUT进行验证，所述第二DUT与所述第一DUT在功能上相关联；基于DUT替代模型进行验证，得到第一输出信号，包括：响应于所述第一DUT为未完成设计，基于配置选项将所述DUT替代模型设置为输出信号驱动至接口；获取激励，并基于所述激励和所述DUT替代模型计算得到所述DUT替代模型的输出信号；将所述DUT替代模型的输出信号驱动到接口上，作为所述第一输出信号；基于所述第一输出信号对第二DUT进行验证包括：判断所述第二DUT是否为未完成设计；响应于所述第二DUT为已完成设计，基于配置选项将所述第二DUT对应的参考模型设置为输出信号不驱动至接口；将所述第一输出信号作为所述第二DUT的输入，计算所述第二DUT的第二输出信号；基于所述第一输出信号和所述第二DUT对应的第二参考模型计算得到所述第二参考模型输出的第二参考信号；对比所述第二输出信号和所述第二参考信号，以验证所述第二DUT功能的正确性；对比所述第二输出信号和所述第二参考信号采用顺序结果比较或乱序结果比较；响应于所述第二DUT为未完成设计，基于配置选项将所述第二DUT对应的参考模型设置为输出信号驱动至接口；基于所述第一输出信号和所述第二DUT对应的DUT替代模型计算得到第三输出信号；将所述第三输出信号驱动到接口上，作为所述第二DUT的输出信号；顺序结果比较方法包括：声明uvm_blocking_get_port端口req_port和rslt_port用于分别接收来自输入输出interface上monitor到的输入激励transaction_req和DUT运算的结果transaction_rslt,注意需要在验证环境里使用fifo完成monitor与scoreboard的TLM通信连接；从uvm_config_db配置数据库里获取配置对象cfg，并根据配置选项add_rtl_model来选择是否继续获取输出端驱动的interface；编写并调用predictor的方法计算期望结果，并写入期望队列；根据配置选项决定是否将运算得到的期望结果驱动到输出端interface上，从而快速建立DUT的替代模型；根据配置选项来将运算的期望结果和DUT实际输出的结果进行比较；最终检查期望队列是否为空，如果不为空则报错；乱序结果比较方法包括：声明uvm_blocking_get_port端口req_port和rslt_port用于分别接收来自输入输出interface上monitor到的输入激励transaction_req和DUT运算的结果transaction_rslt，注意需要在验证环境里使用fifo完成monitor与scoreboard的TLM通信连接；从uvm_config_db配置数据库里获取配置对象cfg，并根据配置选项add_rtl_model来选择是否继续获取输出端驱动的interface；编写并调用predictor的方法计算期望结果，然后根据计算得到的id信息查找DUT实际运算结果act_q队列中是否存在对应的transaction，如果存在的话，则根据配置选项进行比较，如果不存在的话，则将期望结果写入exp_q期望队列；根据配置选项决定是否将运算得到的期望结果驱动到输出端interface上，从而快速建立DUT的替代模型；根据配置选项来将运算的期望结果和DUT实际输出的结果进行比较，根据id查找期望队列exp_q中是否存在对应的transaction，如果存在的话，则根据配置选项进行比较，如果不存在的话，则将DUT的实际结果写入act_q实际结果队列；最终检查上面act_q队列和exp_q队列是否为空，如果不为空则报错。

全文数据：

权利要求：

百度查询： 云合智网(上海)技术有限公司 基于DUT替代模型的验证方法、装置、设备及介质