设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

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

搜帖子

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

日志

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

分享 SV系统集成篇之一：包的意义: 路科验证 2017-5-22 23:51; 从上一篇《SV组件实现篇》来看，verifier梅、尤、娄和董四位验证师已经做完了模块验证，进而转向了验证环境的集成和验证环节。由于verifier董负责验证环境的持续集成，路桑跟他做了一次交谈，问了问这位新手面临哪些困境。路桑：董亲，大家的模块验证环境都已经准备好了是吗？ Verifier董：是啊。准备倒是准备好 ...; 个人分类: 验证系统思想|5616 次阅读|0 个评论热度 1

分享 SV组件实现篇之七（终）：测试环境的报告规范: 路科验证 2017-5-22 23:49; 文章结构：通过一种标准化的方式打印信息过滤（重要级别）信息打印通道在之前的介绍中，读者从四位verifier的验证组件实现中懂得了通过类和封装和数据随机化来实现stimulator、monitor和checker，而在这三个组件中间的信息输出也是无时不在的。伴随着验证组件的增多（横向的）和验证层次的加深（纵向的） ...; 个人分类: 验证系统思想|1302 次阅读|0 个评论

分享 SV组件实现篇之六：比较器和参考模型: 路科验证 2017-5-22 23:44; 在同之前的verifier梅、尤、董完成了slave、arbiter和registers的模块验证之后，我们需要看看最后一位verifier娄是如何完成arbiter验证的。Verifier娄也依照之前的验证步骤，给出了arbiter的验证框图：在实现了stimulator和monitor之后，就进入了数据比对和功能检查的环节了。在开始考虑实现checker之前，我们先来 ...; 个人分类: 验证系统思想|2908 次阅读|0 个评论

分享 SV组件实现篇之五：组件间的通信: 路科验证 2017-5-22 23:41; 文章结构：线程间通信的需求 event（事件） semaphore（旗语） mailbox（信箱）三要素的异同，以及同其它通信方式的比较实际的应用场景组件之间通信的方式，monitor到checker的方式如果将硬件模块理解为一个个运行的程序的话，那么它们内部的各个过程语句块（always块）即是多个一开始在0时刻就运 ...; 个人分类: 验证系统思想|3368 次阅读|0 个评论

分享 SV组件实现篇之四：监测器的采样: 路科验证 2016-12-25 23:47; 当verifier梅在实现slave channel验证环境的时候，她也绘制了一幅slave channel验证结构图： verifier梅借鉴了verifier董在验证模块registers时的方法，为DUT slave channel创建了2个stimulator，即上行发送数据的initiator和下行接收数据的responder。在实现了这两个组件之后，由initiator发送的激励，经过slave的 ...; 个人分类: 验证系统思想|4671 次阅读|0 个评论

分享 SV组件实现篇之三：激励器的随机化: 路科验证 2016-12-25 23:44; 约束块约束块的存在就是为了限制验证时的激烈，给出合理的边界。一个约束块是包含一些表达式用来限制一个随机成员的取值范围，或者是多个成员之间的关系。约束块可以同其它成员一样通过类来继承，这也使得通过不同类层次的继承实现约束的分层。通常，我们将约束块定义在类中。如果一个类的随机成员没有其相应的约 ...; 个人分类: 验证系统思想|4621 次阅读|0 个评论

分享 SV组件实现篇之二：激励器的封装: 路科验证 2016-12-25 23:41; 在上一节《激励器的驱动》中我们谈到了，实际上module stm_ini自身也可以通过定义方法，最终使得stimulator、tests和tb隔离开来，达到初步的封装目的。而这种封装也是通过有形的module这个硬件“盒子”来实现的，我们这一节来看看，如何通过软件“包裹”的方式来实现封装，并且比较软件封装相比于硬件封装的优点。 ...; 个人分类: 验证系统思想|2501 次阅读|0 个评论

分享 SV组件实现篇之一：激励器的驱动: 路科验证 2016-12-25 23:36; 从这一章开始，我们将进入验证各个组件的实现部分。对于各个组件介绍的顺序也将遵循于《验证的结构篇》，从激励器、到监测器再到比较器，而牵系到的知识点也会以各个验证师实现的方式来介绍，这么做的目的是为了告诉读者SV的特性出色在什么地方，以及如何思考从0到1的过程。《 SV验证组件的实现篇》旨在于通过对比不同 ...; 个人分类: 验证系统思想|4188 次阅读|0 个评论

分享 SV的环境构建篇之五：测试的始终: 路科验证 2016-12-4 22:20; 在上一节《程序和模块》中我们提到了各个设计自身可以作为一个大的线程，内部又包含多个并行的线程，而模块之间即线程的通信主要依靠信号的变化。可以想象，对于一个设计，如果在仿真开始没有任何的激励，譬如时钟和复位信号，那么仿真并未开始，也可以认为已经结束，因为对于设计内部并没有产生任何新的事件，也不会由这 ...; 个人分类: 验证系统思想|2638 次阅读|0 个评论

分享 SV的环境构建篇之四：程序和模块: 路科验证 2016-12-4 22:07; module（模块）作为SV从Verilog继承过来的概念，也自然保持了它的特点，除了作为RTL模型的外壳包装和实现硬件行为，在更高层的集成上面，模块之间也需要通信和同步。从硬件实现的角度来看， Verilog通过always，initial过程语句块、信号数据连接来实现进程间通信。为此，我们可以将不同的module作为独立的程序块，他们 ...; 个人分类: 验证系统思想|4004 次阅读|0 个评论热度 1

1 ... 7 8 9 101112 13 14 15 ... 16 / 16 页下一页

关闭

站长推荐 /1

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

GMT+8, 2024-4-28 22:08 , Processed in 0.021861 second(s), 6 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部