EETOP 创芯网论坛 (原名：电子顶级开发网) 返回首页

路科验证的个人空间 https://blog.eetop.cn/1561828 [收藏] [复制] [分享] [RSS]

空间首页动态记录日志相册主题分享留言板个人资料

日志

验证系统思想| 验证前沿资讯| Synopsys SV 实验|

分享欺骗你的覆盖率（上）: 2017-7-30 13:36; 摘要功能覆盖率是保证验证过程整体完整性的关键指标，然而有很多证据表明覆盖率模型往往不准确，不完整和具有误导性。作者这种覆盖缺陷是非常常见的，并且覆盖分析往往集中于没有覆盖到的点而不是已经覆盖到的点的准确性，因此验证过程的整体质量存在着重大的风险。在对问题进行一般性介绍后，本文讨论了实际案例，并 ...; 个人分类: 验证前沿资讯|2279 次阅读|0 个评论

分享形式验证sign-off(下): 2017-7-30 13:30; 前面上篇中我们简要地介绍了形式验证应用、sign-off概念、以及形式验证基本模型和形式验证checker。在本篇我们会介绍用于计算sign-off所需证明边界的方法、讨论如何使用抽象模型实现形式sign-off。一.确定需要的证明边界我们使用以下步骤确定所需的证明边界：设计的延时分析微体系结构分析涵盖有意义的conner ...; 个人分类: 验证前沿资讯|2597 次阅读|0 个评论

分享形式验证sign-off(上): 2017-7-30 13:19; 形式验证是一种强大的验证方法，可用于发现conner bug，提高验证效率，缩短验证周期。然而，形式验证的完整性或形式验证边界阻碍了行业中形式验证技术的采用。本文介绍了一种方法，通过了解被测设计和系统分析方法，可以限定形式验证边界证明的深度，并使用抽象模型来实现所需的证明边界，进而完成形式验证sign-off。 ...; 个人分类: 验证前沿资讯|3270 次阅读|0 个评论

分享高度可配置参数化UVM IP验证环境（下）: 2017-7-30 11:40; 5. 复用自适应参数化 IP 验证环境 5.1 垂直复用（ Veritical reuse ）垂直复用意味着复用是从 IP 级到 SoC 级。（A） AMBA SVT VIP 复用 AMBA SVT VIP 是由驱动器代理（ driv ...; 个人分类: 验证前沿资讯|2063 次阅读|0 个评论热度 1

分享高度可配置参数化UVM IP验证环境（上）: 2017-7-30 11:18; 摘要：参数化的 IP 是可配置的，这意味着在不同的 SOC 中 IP 设计可以有不同的设计参数，设计参数可以对应到协议、端口号、端口名称、以及内部逻辑。大量的 IP 设计参数非常影响验证环境的构建，比如 testbench 的连接、驱动器、监视器、仿真序列以及功能覆盖率的建立 ...; 个人分类: 验证前沿资讯|4512 次阅读|0 个评论

分享 SystemVerilog通用程序库（下）: 2017-7-23 15:08; 五、类方法还是包函数？我们最初的直觉是将svlib作为一组SystemVerilog类呈现给用户。我们假设由一个类来表示一个正则表达式，另一个类来表示一个文件名，等等。从库写作者的角度来看，以这种方式打包用户数据是非常有吸引力的，因为它允许我们将任意隐藏数据与每个对象相关联。我们在编写面向用户的API时，上遇到了 ...; 个人分类: 验证前沿资讯|1988 次阅读|0 个评论

分享 SystemVerilog通用程序库（上）: 2017-7-23 14:57; 摘要作为许多验证工程师的首选语言，SystemVerilog其实并不是专门为验证设计的语言，它还是一种硬件描述语言和通用的编程语言。尽管SystemVerilog面向对象的编程特性和丰富的数据类型为通用编程提供了极好的支持，但是仍然缺少一些在其它编程语言中被认为是理所应当的实用程序。在本文中，我们介绍了一个为SystemVerilog ...; 个人分类: 验证前沿资讯|5530 次阅读|0 个评论

分享生成唯一覆盖类，以启用有意义的覆盖组: 2017-7-23 14:45; 定义一个sv的覆盖组，可以通过在一个组件里包含它或者将它导入到组件里的不同方式。第一种情况下，覆盖组将在仿真器结构层次中具有和其在验证组件中相同的类型路径，这个类型路径将因tb的不同而不一样，因此通用性会差一些。如果覆盖组在验证组件之外通过覆盖类定义，然后导入到组件里，又会出现另一个问题：覆盖组类 ...; 个人分类: 验证前沿资讯|1488 次阅读|0 个评论

分享混合电路设计的数字化验证: 2017-7-23 14:37; 近年来，随着电路设计规模和复杂度的不断扩大，需要测试的场景也在成倍的增加，这使得对每一个场景都进行直接测试变得不太可能完成，或者说完成所需要的投入和产出比值太大，所以在数字验证方面引入了新的验证方法学:基于SV和UVM的随机验证，而对于电路规模和复杂度的急剧增大在模拟和混合电路设计方面也存在这样的问题， ...; 个人分类: 验证前沿资讯|1476 次阅读|0 个评论热度 1

分享常用脚本语言简介: 2017-7-23 14:31; 为了达到高效完整的验证的目的，我们不仅仅需要SV/UVM这种大规模杀伤性武器，往往还需要使用各种各样的语言和工具来进一步提升效率，正所谓条条大路通罗马，本期就带大家了解一下常用的脚本语言。首先，什么是脚本语言呢？脚本通常是以文本(如ASCII)保存，只在被调用时进行解释或编译。例如我们大家基本都学过的C语 ...; 个人分类: 验证前沿资讯|3107 次阅读|0 个评论热度 3

1 ... 16 17 18 192021 22 23 24 ... 34 / 34 页下一页

路科验证

0
周排名
0
月排名
0
总排名
0
关注
254
粉丝
25
好友
33
获赞
45
评论
访问数

关闭

站长推荐 /1

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2024-5-22 18:18 , Processed in 0.036674 second(s), 16 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部