标签:UVM

验证的拐点
通过布莱恩•贝利1月- 14,2021 -评论:0

功能验证已接近一个转折点,带来的不断增加的复杂性和很多触角,混合与其他学科。新的抽象或需要解决的问题的不同方法。作为一个验证工程师不再是足够的,除了那些担忧是块级验证。大部分的时间和精力花在验证我…»阅读更多

周评:设计,低功耗
通过杰西·艾伦- 12月18日,2020 -评论:0

工具、云、IP Valtrix系统更新其刺RISC-V基于CPU和SoC设计验证工具的实现。版本1.9.0最近增加了验证的支持更改RISC-V用户和权限规范,包括矢量和位操作标准的草案版本扩展。初步的草案版本支持RISC-V hypervisor扩展也一直是…»阅读更多

验证收敛:问题定义
通过Hagai Arbel11月- 30,2020 -评论:0

前一段时间,我和我的朋友去急诊室突然麻木的感觉在他的脸上。他觉得好(和其他一切都好),但更好的安全比抱歉。医生检查他时我注意到在跟踪问题本身之前,她问了一些问题排除问题已经熟悉,可以体现在类似的方法。只有这样,…»阅读更多

博客评论:10月7日
通过杰西·艾伦- 07年10月,2020 -评论:0

手臂在一篇博客,南安普顿大学博士生Sivert剂如何能源驱动和断断续续的计算可以用于电力数以万亿计的物联网设备和介绍SystemC-based模拟器等系统。导师的克里斯矛解释了为什么事务类应该从uvm_sequence_item延伸而不是uvm_transaction当设计UVM testbenches。节奏的……»阅读更多

新用途的断言
通过安Mutschler——9月24日,2020 -评论:0

断言在形式验证主要多年。现在他们正在看他们还有什么可用于检查,和越来越多的列表。传统上,设计和验证工程师以特定的方式使用断言。第一,形式验证有断言,这是设计师用来展示的时候是错误的。这些断言帮助查明wh……»阅读更多

UVM回调函数简化断言验证如何
通过阿卡什Sarup8月- 13,2020 -评论:0

由阿卡什Sarup和马克克拉断言直接造福整个设计和验证周期;因此在编码和测试工程师面临任何挑战都值得解决的。当大量的断言验证,回调节省时间通过消除需要代码为每个场景中一个新的序列。回调还提供更多的动态和细粒度控制……»阅读更多

普遍的验证方法精疲力竭了
通过安Mutschler- 7月30日,2020 -评论:2

在过去的十年左右的时间里,通用验证方法(UVM)已经是事实上的验证方法得到整个EDA行业的支持。但是随着芯片越来越异构,更加复杂,明显增大,UVM精疲力竭了。共识是需要构建一些根本性的变化,移动工具的抽象级别,使他们更ag)……»阅读更多

开源的验证
通过布莱恩•贝利- 7月30日,2020 -评论:1

问不同的人开源核查是什么意思,你就会得到很多不同的答案。他们从开源硬件的验证,提供一个开源的验证基础设施,提供开源流发电机或参考模型,开源模拟器和形式验证引擎。验证是降低风险。“验证…»阅读更多

方法与解决问题
通过Hagai Arbel——7月22日,2020 -评论:1

在我18岁的时候,我买了一个胡蜂属“67:著名的意大利摩托车。它已经很老,很破旧,但幸运的是我有一个朋友谁拥有一个汽车修理店打来,他好心地给我一些晚上访问。几个星期以来,我自学的艺术金属车身,结束了一个漂亮的金属67胡蜂属天蓝色的。上帝,我爱那台机器!然后有一天,……»阅读更多

的越来越多的普通任务验证RISC-V
通过安Mutschler- 03年6月,2020 -评论:0

随着RISC-V处理器发展的成熟及其使用soc和微控制器的发展,工程团队正开始超越处理器内核本身的挑战。到目前为止,大多数工业核查工作都集中在ISA合规标准化RISC-V核心。现在的重心是如何处理验证随着系统的发展,特别是在这个…»阅读更多

←旧的文章 新帖子→

  • 赞助商

关于

导航

与我们联系

版权©2013 - 2023 SMG |服务条款|隐私政策
Baidu