技术

每次看复杂断言都在考验阅读理解能力,还有没有其它解药?

​ rockeric.com 前言 基于断言的验证已成为现代设计验证的一个组成部分。并发(concurrent…
Read more

那些对2018年验证方法学和工具的预测都发生了吗?

​ rockeric.com   知识产权 随着设计的规模变得越来越大,毫无疑问IP模块的规模也会随…
Read more

如何实现数据流设计的参考模型?

​ rockeric.com 如果读者习惯看段落清晰的论文结构,恐怕会很容易遗落这篇论文。来自Vtool公司的…
Read more

Verification 3.0 你准备好了么?

​rockeric.com Jim Hogan,Vista Ventures和LLC的执行合伙人jimHoga…
Read more

并行化仿真为何如此难以实现?

​rockeric.com 半导体工程(Semiconductor Engineering,以下简称SE)邀请…
Read more

理解UVM-1.2到IEEE1800.2标准的变化,掌握这3点就够了

​ rockeric.com UVM-1.1d到UVM-1.2的变化还是显著的,那已经是很久之前(2014年)…
Read more

UVM寄存器模型这么难学,有没有更容易点的?

​ rockeric.com 这篇论文很完整,如果读完路桑的分析你觉得确实解决了你们的痛点,不妨从【阅读原文】…
Read more

没想到,双十一只花10块钱,我竟然爱上了加班…

​ 关注路科验证的都变成了IC大牛 你还在等什么? ▼ 众所周知,路科不仅是一个严肃专业的数字芯片领域科普公众…
Read more

[DVCon论文系列]利用机器学习算法优化随机测试约束

​最近,随着DVCon2019 China论文摘要提交的白热化,越来越多工程师跃跃欲试,呼吁路桑推出往届论文的…
Read more

验证(Verification)与验实(Validation)将何去何从?

​rockeric.com 译者注:本文中大量的使用了verification和validation及其相应的…
Read more