story 头像

story

4385 声望
他还没有填写个人简介
关注了
0
粉丝数
12130
IP 属地江苏
最新动态
  • 发布了文章 ·
    SystemVerilog中的Deep Copy概念

    shallow copy只能复制类中的对象句柄,如果我们还想为这个对象句柄实例化,并复制其中的内容呢?

  • 发布了文章 ·
    一个简单的存储系统验证平台tutorial

    本节介绍一个包含存储器,仲裁器,控制器,系统总线和CPU的设计,所有这些设计文件都在工具安装目录底下:

    摘要图
  • 发布了文章 ·
    System Verilog当中的Bits vs Bytes

    正如我们所知,“bit”是无符号的,而“byte”是有符号的。那么,你认为下面两个声明是等价的吗? {代码...} 答案是不等价,因为: {代码...} 所以,你需要小心混合bit和字byte数据类型的计算。同样,你认为以下两种说法等价吗? {代码...} 答案是等价。我们可以简单理解为bit signed [7:0] 等价为 byte。作者:验证哥布林来源...

  • 发布了文章 ·
    System Verilog中的整数数据类型

    Verilog提供了reg和wire数据类型,但是对于功能验证来说远远不够,所以SystemVerilog提供了很多更加丰富的数据类型,下面将一一介绍。

    摘要图
  • 发布了文章 ·
    covergroup/coverpoint简介及示例

    covergroup’可以在“package’”、“module’”、“program’”、“interface’ ”和“class’”中定义。

    摘要图
  • 发布了文章 ·
    FPV:状态空间和复杂度

    举个例子,对于具有10个寄存器、10个输入的设计而言,那么状态空间就是2^20。一般实际的设计中的状态空间要比这个多得多。

    摘要图
  • 发布了文章 ·
    为什么验证无法完全地层次化分而治之?

    现代芯片研发流程是一个非常复杂的过程,所以不可避免会分成市场调研->方案架构制定->RTL开发验证->后端物理实现等等。分解其中验证又分为设计冒烟验证->模块验证->集成验证->FPGA测试等。稍微复杂点的IP也没办法由一个人完成验证,一些特性验证或者模块的验证必须要被分解成子特性/子模块。分解之后...

  • 发布了文章 ·
    流水线中的Data Hazards和Forwarding 解决方案

    1、Structural hazards,当不同的stage竞争共享资源时,这也是我们为什么需要区分I-cache和D-cache的原因。

    摘要图
  • 发布了文章 ·
    浅谈Cache Memory--伟大的变革

    虚拟地址的出现可以追朔到上世纪六十年代的Atlas计算系统。在当时Atlas计算系统是一个庞然大物,但也只有96K字节的内部存储器和576K字节的磁鼓作为外部存储器。我们很难深刻体会在计算机发展的初级阶段,计算机使用者的无奈。

    摘要图
  • 发布了文章 ·
    浅谈Cache Memory--让指令飞 (二)

    在一个CPU中,读写指令在进入Pipeline之前,首先被分解为两个微步骤或者是两个微指令,这并不是x86处理器所特有的,许多为了提高存储指令执行效率的微架构都使用了这种方式。

    摘要图
  • 发布了文章 ·
    浅谈Cache Memory--让指令飞 (一)

    Superscalar与OOO(Out-of-order)的引入极大促进了现代处理器微架构的发展。已知的高性能处理器,如Nehalem,Sandy Bridge,Opteron,Power甚至是ARM Cortex系列处理器都使用了这种架构。这类方法在有效提高了ILP(instruction level parallelism)的同时,加大了整个Cache Memory层次结构的实现难度。

    摘要图
  • 发布了文章 ·
    一个formal 假pass的memory controller的实例

    在formal验证过程中,很多时候我们针对所负责模块做了非常完备的覆盖率和断言检查,但是涉及到接口的约束往往会引入过约,即

    摘要图
  • 发布了文章 ·
    浅谈Cache Memory--Why Index-Aware

    在N-Ways Set-Associative方式的Cache中,CPU如何选用函数f映射Cache中的Set是一个值得讨论的话题。其中最常用的算法是Bit Selection。这是一种最快,最简洁的实现方式,使用这种方法带来的最大质疑莫过于Set的选择不够随机。历史上曾经有人试图使用某些pseudo-random算法作为函数f,但是需要明确的是在Set Selection中...

    摘要图
  • 发布了文章 ·
    带断言的逻辑表达式

    根据定义,always_comb 中if括号里面的逻辑表达式在每次变量发生变化时都会进行判断。代码的开发者可能觉得逻辑表达式中的断言bit_ok每次都能够得到执行。

  • 发布了文章 ·
    SVA断言,是基于边沿,还是电平?

    SVA断言是一个强时序的技术,很多时候SVA的实际时序和验证工程师的期望可能不同,这种不同很难调试定位。

  • 发布了文章 ·
    状态机编码风格

    根据状态机输出产生的类型,可以将状态机分成两类。第一个是Moore状态机,输出只是当前状态的函数,第二个是Mealy状态机,其中一个或多个输出是当前状态和一个或多个输入的函数。

  • 发布了文章 ·
    高扇出网络综合需要考虑的因素

    通常,高扇出网络将被缓冲以减少驱动门上的总负载,和网络的过渡时间。 对于具有相同时序要求的信号,例如时钟网络和复位线,可以使用平衡缓冲树,以减少信号边沿的skew。

    摘要图
  • 发布了文章 ·
    总结我的验证思路:“开门红” Test Case

    根据规格分解FeatureList,根据FeatureList对应TC,然后再一条一条仿真TC反过来映射FeatureList和规格。没错,这是最通常的做法,可惜我不这样做。

    摘要图
  • 发布了文章 ·
    总结我的验证思路:只有疯子,才能发现隐藏得最深的金子

    缺陷就在哪里,静静地躺在哪里。没错,一定在,而且马上就能看到!!执念,这是一种执念!!作为验证人员,一定要有这种强烈的,不可动摇的执念或者说饥渴感,而且是和设计人员强烈对抗的执念。

    摘要图
  • 发布了文章 ·
    总结我的验证思路系列二:心有多大,舞台就有多大

    我比较不喜欢看到的,就是一个验证人员跑来告诉设计人员,说某某TC Fail了,波形在XXX,请分析。我不能认定这位验证人员的工作是否合格,只能表达强烈的情绪,特别是最后发现Fail的原因是验证环境问题的时候。

    摘要图
认证与成就
获得 92 次点赞
2020年02月21日 加入
极术微信服务号
关注极术微信号
实时接收点赞提醒和评论通知
安谋科技学堂公众号
关注安谋科技学堂
实时获取安谋科技及 Arm 教学资源
安谋科技招聘公众号
关注安谋科技招聘
实时获取安谋科技中国职位信息