标签:断言

你确定你RISC-V RTL不包含任何惊喜?
通过约瑟夫Hupcey三世2022年2月- 03(-评论:0

给定的相对新颖性和复杂性RISC-V RTL设计,不管你是买一个商业核心或下载一个流行的开源提供支持,有意外惊喜的小但非零风险逃离未被发现到你的最终产品。为了到低概率,考虑:存在weird-yet-entirely-possible个别案例错误错误“insid…»阅读更多

快速地覆盖应用和快速地断言应用提供统一的覆盖方法
通过西门子EDA- 1月26日,2022 -评论:0

快速地覆盖应用程序的互操作性和快速地断言应用程序与其他验证引擎(模拟和正式)使合并覆盖率收集到每个关闭引擎,提供了一个有凝聚力的覆盖率报告和分析流程。它使验证团队和产品管理等重要决策覆盖关闭广播完毕,测试质量分析……»阅读更多

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

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

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

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

正式验收的七个步骤
通过伊恩•单例- 5月28日,2020 -评论:0

“签收”可能是最令人激动和可怕的字眼在半导体的发展。后几个月,甚至几年的团队努力,提交设计硅制造的确是一个令人兴奋的和有益的活动。但是,常常有明显的焦虑——如果任何错过的问题导致不得不“转”芯片,增加的成本和上市时间推迟……»阅读更多

便携式刺激和数码双胞胎
通过布莱恩•贝利- 11月25日,2019 -评论:0

已经一年Accellera的便携式测试和刺激规范成为一个标准。半导体工程坐下来讨论它的影响,和未来方向,拉里悟道,产品管理总监节奏;Tom Fitzpatrick战略验证架构师的导师,西门子的业务;技术营销顾问汤姆•安德森OneSp……»阅读更多

芯片安全需要一种新语言
通过斯文拜尔- 8月26日,2019 -评论:0

斯文拜尔和塞尔吉奥Marchese安全重要,安全系统,如连接自动车辆,需要高度集成的集成电路(ic)。功能的正确性和安全性是必要建立IC的完整性,但不是充分的。安全是另一个关键支柱IC的完整性。系统和产品最终使用ICs和安全漏洞破坏th……»阅读更多

的整体视图RISC-V验证
通过尼古拉·Tusinschi- 07年8月,2019 -评论:0

上个月,我们讨论了RISC-V开放生态系统处理器的发展,两个主要的组织推动,OneSpin扮演的角色。此外,我们已成为非常活跃的RISC-V社区和十几名发表技术文章,提出会议洽谈,并接受即将到来的会谈。我们倾向于把重点放在验证RISC-V IP核和sys的挑战……»阅读更多

如何优化验证
通过布莱恩•贝利——7月25日,2019 -评论:0

改善的速度验证工具和方法一直是惊人的,但这对于验证团队创造了新的问题。在过去的20年里,验证已经改变了从单一语言(Verilog)和工具(模拟器)利用多种语言(testbench语言,断言语言、报道语言约束语言),很多…»阅读更多

左移位低功率和UPF值信息模型验证
通过Himanshu Bhatt- 5月30日,2019 -评论:0

Himanshu Bhatt, Shreedhar Ramachandra和Narayanan Ganesan低功率testbenches今天没有能见度的UPF值在低功耗模拟对象和它们的状态。这是其中一个因素限制用户编写可重用的低功率testbenches能够监控UPF值对象和对UPF值对象的状态变化作出反应。达到这个要求用户……»阅读更多

←旧的文章

  • 赞助商

关于

导航

与我们联系

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