TAG信息

验证

  • 创建者: deve
  • 创建时间: 2006-06-01 10:35:58
  • 总信息数: 15

相关TAG

  • 暂无相关TAG
全部信息

日志(15)

  • 从水木上一个讨论验证的帖子想到的。。

    bigyellow 发表于 2008-07-10 20:33:29

    在水木看到一个讨论现在设计和验证的前途问题。还是有不少有意思的帖子。选了一些我觉得比较有意思的贴过来。顺便说说我对验证的一些看法。 搞这行也有３年了，从一开始入门时的模快极RTL设计，写模块的testcase...

  • 痛苦的验证。

    bigyellow 发表于 2008-07-07 22:50:04

    做验证最痛苦的就是设计文档，使用手册的混乱。最近在做验证，设计文档错误百出，而且经常有更新都没加进去。。好不容易完成一个配置。一仿真报错。好不容易把错误找出来了。一问设计人员。告知在某某地方不能这么...

  • Issue与Metric

    DACer 发表于 2006-08-08 00:07:07

    Issue 什么是issue? An issue is anything that can affect the functionality of the design 包括： 测试中发现的Bug规范文档中模糊的或未完成的部分设计架构中的重要决策或者Trade-offs验证各个阶段...

  • Assertion类型

    DACer 发表于 2006-08-07 23:56:22

    Assertion detect conditions that should always be true. 硬件的断言往往需要加入时序信息，比如几个周期后某个信号抬起的要求。   Assertion往往有两种类型 Implementation Assertion 实...

  • Functional Coverage的类型

    DACer 发表于 2006-08-07 23:38:35

    Functional Coverage往往包括三种类型 Item Coverage: 指记录单独的标量值的覆盖率，比如packet的长度，中断的类型等信息Cross Coverage: 是Item 进行空间组合后的覆盖率，比如packet长度与类型的组合情况。Tr...

  • Coverage达到100%意味着什么？

    DACer 发表于 2006-08-07 23:29:03

    Code Coverage达到100%意味什么? 仅仅只是你写出的RTL代码实现的那部分功能是正确的，但不保证你的代码实现了所有设计规范定义的功能。《Writing Testbench》画的这个图很好的说明了问题。 书中还提到了...

  • 一条往往被忽视的准则

    DACer 发表于 2006-08-07 23:04:13

    Writing Testbench中指出一条验证人员应当遵守的准则： Do not use a waveform viewer to determine if a design passes or fails! 不要用波形来确定设计的测试是否通过。我们实验室似乎多年以前就提出了不...

  • Design For Verification

    DACer 发表于 2006-08-07 22:57:18

    DFV是指在设计阶段就考虑到验证，并从方便验证的角度来进行设计。   常见的DFV技术包括： 定义帮助验证的接口信号。尽可能独立的功能模块划分。提供软件可访问的寄存器，以方便验证。设计可控制的M...

  • 验证方法分类

    DACer 发表于 2006-08-07 22:48:26

    Formal Verification 包含两个主要方向equivalence checking与model checking.               Equivalence checking是检...

  • Writing Testbench学习笔记

    DACer 发表于 2006-08-05 23:05:42

    开始阅读中，近日更新。