zoukankan      html  css  js  c++  java
  • 数字验证流程

    1.熟读项目文档,包括设计文档,接口文档等

    2.根据文档提取测试点,测试点分解分类有:数据流功能点,寄存器,DFX功能,异常等

    3.编写组件验证代码,与完整的验证环境相比,缺少DUT,主要为了验证接口组件,用于搭建整体环境。包括transation,sequence,sequencer,driver,monitor,scoreboard,以及agent

    3.搭建验证环境,各组件具体含义参考《UVM应用指南及源码分析》,在验证RTL之前,首先进行环境自测试,完成环境自测试后,完成RM,RM实现与RTL代码相同的功能,只是使用SV编写的没有时序的代码,最后将RM输出的数据流和RTL(DUT)输出的数据流,在Scoreboard里比较。

    4.编写TC,功能覆盖率,实现功能覆盖率的收集

      根据测试点相应的TC以及功能覆盖率模型,以上跑通后,make cov,收集覆盖率,打开dve查看覆盖率收集情况

    5.重复4,完成多个TC的编写以及覆盖率的收集,这是个不断迭代的过程

    6.跑回归,实现TC种子的随机性,完善RTL的强韧性,也是一个迭代的过程

  • 相关阅读:
    神经网络
    机器学习摘要
    one-vs-all案例
    VHDL
    docker 摘要(入门版)
    Windows与Unix思想
    安装 fedora 之后
    逻辑回归实战
    TensorFlow安装
    Haskell语言学习笔记(65)Data.HashMap
  • 原文地址:https://www.cnblogs.com/xh13dream/p/11747515.html
Copyright © 2011-2022 走看看