码农知识堂 - 1000bd
  •   Python
  •   PHP
  •   JS/TS
  •   JAVA
  •   C/C++
  •   C#
  •   GO
  •   Kotlin
  •   Swift
  • SystemVerilog验证导论


    验证流程

    硬件设计的目的在于创建一个基于设计规范并且能够完成特定任务的设备

    作为验证工程师的目的是确保该设备能够成功地完成预定地任务

    作为一个验证工程师,必须核设计者一样阅读硬件规范并且拟定验证计划,然后按照计划,创建测试来检查RTL代码是否准确地实现了所有的特性。如果多人对同一个规范进行解读,那么设计流程可能会出现冗余。作为验证工程师,需要阅读同样的硬件规范并对其含义做出独立的判断,然后利用测试来检查对应的RTL代码是否与你的解读一致。

    不同层次的测试

    1. 代码块(block)层次上
    2. 代码块边界
    3. 待测设计的最高层次(尽可能让所有代码块并发活动)
    4. 出现错误时待测设计的表现

    验证计划

    验证计划是和硬件规范紧密联系在一起的,它描述了需要验证什么样的特性,以及采用哪些技术。这些步骤可能包含有定向或者随机的测试、断言、软硬件协同验证、硬件仿真、形式验证,以及对验证IP的使用等等。

    基本测试平台的功能

    测试平台的用途在于确定待测设计的正确性,包含下列步骤:

    1. 产生激励
    2. 把激励施加到DUT上
    3. 捕捉响应
    4. 检验正确性
    5. 对照整个验证目标测算进展情况

    定向测试

    验证的传统做法可能是使用定向测试。使用这种方法,首先需要阅读硬件规范,然后写下验证计划,计划上列有各种测试,每个测试针对一系列相关的特性。按照这个计划,接着编写出针对待测设计具体特性的激励向量,然后使用这些向量对待测设计进行仿

  • 相关阅读:
    从创业者的角度告诉你AI问答机器人网页的重要性
    STK学习——建立链路Chains和计算星座可见性
    java ssm基于B_S架构的互联网在线培训教育平台
    五步走,轻松拥有你的个性化小程序
    【python】numpy库
    Go Web——Beego之controller控制器函数介绍
    DeepLab-LargeFOV--学习笔记
    Time-Frequency Signal Analysis and Processing 笔记
    Leetcode经典题目之“双指针交换元素“类题目
    2.2 相关blocks(2) Data Store Memory F28335-Simulink仿真代码自动生成
  • 原文地址:https://blog.csdn.net/qq_44368660/article/details/126698430
  • 最新文章
  • 沪漂五周年了:我越来越迷茫了
    Agentic Skill Routing 实战:别再把所有 Skill 塞进 AI Agent 上下文
    MySQL-Seconds_behind_master的精度误差
    [MAF预定义ChatClient中间件-03]CachingChatClient——利用缓存省钱省时间
    AI的至暗历史:从万众期待到被政府撤资,AI的两次死亡徘徊
    Agent OS :五种驯服不确定性的范式
    PortSwigger SQL注入LAB11
    数据库即时编译JIT
    [Begin]AI Learn Data Day 0
    深度学习进阶(二十七)现代 LLM 的核心架构设计其二:SwiGLU
  • 热门文章
  • 十款代码表白小特效 一个比一个浪漫 赶紧收藏起来吧!!!
    奉劝各位学弟学妹们,该打造你的技术影响力了!
    五年了,我在 CSDN 的两个一百万。
    Java俄罗斯方块,老程序员花了一个周末,连接中学年代!
    面试官都震惊,你这网络基础可以啊!
    你真的会用百度吗?我不信 — 那些不为人知的搜索引擎语法
    心情不好的时候,用 Python 画棵樱花树送给自己吧
    通宵一晚做出来的一款类似CS的第一人称射击游戏Demo!原来做游戏也不是很难,连憨憨学妹都学会了!
    13 万字 C 语言从入门到精通保姆级教程2021 年版
    10行代码集2000张美女图,Python爬虫120例,再上征途
小工具 小游戏
Copyright © 2022 侵权请联系2656653265@qq.com    京ICP备2022015340号-1

京公网安备 11010502049817号