设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网) › 日志

日志

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

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

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

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

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

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

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

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

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

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

分享基于uvm的结构以及使用脚本自动生成tb: 路科验证 2017-7-23 14:16; 随着uvm 和sv 在行业中使用的越来越广泛，公司需要为其工程师掌握uvm 或sv 安排大量的时间，更糟的是，当工程师第一次用一门新语言为项目编码时很容易出错，这些错误不但要耗费debug时间，还会影响tb覆盖率和质量。并且，当一个tb由多个工程师编码时，顶层连接也可能出错。而减少这些时间的一种方法 ...; 个人分类: 验证前沿资讯|4129 次阅读|0 个评论

1 ... 4 5 6 7 8910 11 12 13 ... 15 / 15 页下一页

关闭

站长推荐 /2

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

GMT+8, 2024-4-19 01:20 , Processed in 0.016008 second(s), 6 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部