日志
- 分享 FPGA验证的挑战与机遇
- rockeric.com 一、前言 近年来发表了很多关于IC/ASIC功能验证趋势的 研究 ，但却很少有关于 FPGA验证趋势 的研究发表。我们找到一篇 针对FPGA关键验证技术研究 的文章分享给大家，是2018年Wilson的课题组进行功能验证研究中的内容，研究结果对如今FPGA市场的功能验证提供了宝贵的见解。 ...
- 分享 基于UVM验证RISC-V处理器-黄金预测模型和配置层
- rockeric.com 译者喵注： 这篇文章大致可以分成两个部分： 第一部分叙述了RISC-V指令集架构的灵活性，指出此指令集依靠其基本指令集及多种扩展指令集的组合，可以实现几十种RISC-V处理器核，常规的验证流程已不可用，顺势提出Codasip公司的自动化设计流程，高度的自动化流程省时省力，同时设计灵 ...
- 分享 我们做FPGA测试的，要转验证还有机会吗？机会很大！
- rockeric.com 昨晚在等班机的途中，又翻了几篇DVCon2018US的论文，它们更多的在偏重于不同场景、不同领域的方法学应用，而真正能够创新且有使用价值的论文还是珍贵。看多了这些阳春白雪的东西，一方面在感叹为什么国内验证思想和应用与国外依然有如此之差距以外，一方面也在考虑除了DVCon、DAC、S ...
- 分享 每次看复杂断言都在考验阅读理解能力，还有没有其它解药？ ...
- rockeric.com 前言 基于断言的验证 已成为现代设计验证的一个组成部分。 并发（concurrent） SVA 是一种强大的断言语言，它以简洁的符号和规则表达属性的定义；它的适用范围非常广泛，被强烈推荐使用。 但是， SVA 是为静态世界而设计的 ，这也就造成了一些局限性： ...
- 分享 那些对2018年验证方法学和工具的预测都发生了吗？
- rockeric.com 知识产权 随着设计的规模变得越来越大，毫无疑问 IP 模块的规模也会随之增大。“ 行业领先的指标标志着设计者从对各个 IP 模块， PHY ，控制器，软件的使用需求转变为对解决整个端对端协议接口挑战的需求 ， ” Synopsys 公司的 USBDisplayPort ...
- 分享 如何实现数据流设计的参考模型？
- rockeric.com 如果读者习惯看段落清晰的论文结构，恐怕会很容易遗落这篇论文。来自Vtool公司的Djuro Grubor针对数据流设计在验证环境复用性方面，尤其是scoreboard复用性上面有自己的一套完整见解。从国内目前的IC设计产品领域分布来看，通信（~40%）依然是最大的部分，而通信类的SoC设计验证经常会跟数据流 ...
- 分享 Verification 3.0 你准备好了么？
- rockeric.com Jim Hogan ， Vista Ventures 和 LLC 的执行合伙人 jimHogan 也是 EDA 领域资深的投资者，最近一直在关注一些 验证初创公司 ，包括云技术公司 -Metrics 以及便携式激励（ portable stimulus ）的先驱 Breker Verification systems 。他还将 OneSpin Solutions 的形式验证加入 ...
- 分享 并行化仿真为何如此难以实现？
- rockeric.com 半导体工程（ Semiconductor Engineering ，以下简称 SE ）邀请 Altair 的首席科学家 Andrea Casotto ， Cadence 系统与验证组的产品管理组主管 Adam Sherer ，西门子企业 Mentor 首席科学家 Harry Foster ， OneSpin 应用工程全球经理 Vladislav Palfy ， Oski Technology ...
- 分享 2019-04-12
- rockeric.com UVM-1.1d到UVM-1.2的变化还是显著的，那已经是很久之前（2014年）的事了。不过，对于多数UVM用户而言，似乎并没有感受到1.1d和1.2版本间的代码差别。UVM从Accellera发布的1.2版到IEEE收编后的1800.22017版，我们也还是沿着大多数UVM用户的使用视野来谈。如果你想阅读这些完整的版本对比 ...
- 分享 UVM寄存器模型这么难学，有没有更容易点的？
- rockeric.com 这篇论文很完整，如果读完路桑的分析你觉得确实解决了你们的痛点，不妨从 【阅读原文】 下载完整论文。在OVM时代，OVMpackage本身是没有寄存器模型方案的，于是Cadence的Verisity人马（Specman的EDA公司）就做了一个OVM_RGMpackage，那还是10年以前的事情了。路桑那会从Specman ...
/1 
eetop公众号
创芯大讲堂
创芯人才网