发 帖  
  • 聊聊形式验证中的SVA

    2023-6-14 09:31
    SVA,即SystemVerilog Assertion,在simulation和Formal都有极为广泛的应用,这里介绍一些基本的概念和常用的语法。...
    0
    1602次阅读
    0条评论
  • 数字化趋势正在驱动着整个设备的增长,未来会有更多安全链接到云端,在设备端更加智能的处理。与此同时,数字化也会带来更大的32位MCU的增长。已经连续好几年未曾推出新品的ST(意法半导体),最近一次性推出了多款面向新时代需求...
    0
    1006次阅读
    0条评论
  • 在S家的后端设计工具里,包括DC、ICC、ICC2、PT , 大体的命令都是相通的。...
    0
    587次阅读
    0条评论
  • Objection是UVM框架中用来同步不同组件的相同phase,以及决定当前测试用例什么时候结束(end-of-test)的机制,这也是用户在拿到UVM之后最直白的使用场景。...
    0
    1879次阅读
    0条评论
  • 一个多比特的bus拆分成几个位宽较小的bus...
    0
    3116次阅读
    0条评论
  • 在SystemVerilog中,我们知道可以使用动态数组实现数组元素个数的动态分配,即随用随分...
    1
    7118次阅读
    0条评论
  • SystemVerilog是一名芯片验证工程师,必须掌握的一门语言,其中Function Coverage是必须要懂的知识点之一;...
    0
    7062次阅读
    0条评论
  • 根据对randc的了解和思考,分享一种基于testcase颗粒度的"周期性"随机控制思路(off-line cyclic random)。...
    0
    472次阅读
    0条评论
  • VCS实用技巧分享

    2023-5-30 09:26
    VCS是编译型verilog仿真器,VCS先将verilog/systemverilog文件转化为C文件,在linux下编译生成的可执行文./simv即可得到仿真结果。...
    0
    1235次阅读
    0条评论
  • VCS是一款常见的Verilog编译工具,它提供很多编译选项来控制编译过程及其输出。本文主要介绍以下两个编译选项。...
    0
    11211次阅读
    0条评论
  • 众所周知,在prePlace阶段打完Power后,需要使用APR工具把网表中存在的例化完的instance来全 局放置在core内,这个布局阶段(place)会暴露出设计Case在不加任何约束下按工具默认的global ...
    0
    1606次阅读
    0条评论
  • Verdi是一个功能强大的debug工具,可以配合不同的仿真软件进行debug,很多企业常用的就是VCS+Verdi或或者Xcelium(xrun)+Verdi的方式进行代码的仿真与检查...
    0
    3359次阅读
    0条评论
  • 分享一个coverage merge小技巧,在群里经常看到有小伙伴问改了代码之后coverage能不能merge。今天带大家来看看这个问题。...
    0
    631次阅读
    0条评论
  • Design的版本拿错,这个问题比较要命,如果ROM版本拿错,基本芯片就废了。这种情况还真不少。...
    0
    1439次阅读
    0条评论
  • SystemVerilog中,initial begin-end是仿真开始就会执行的代码块。比如UVM的test入口函数run_test,一般就是在initial begin-end中调用。...
    0
    953次阅读
    0条评论
ta 的专栏

成就与认可

  • 获得 6 次赞同

    获得 0 次收藏

谁来看过他

关闭

站长推荐 上一条 /7 下一条

返回顶部