路科验证

摘要-验证技术和方法不断发展，以应对日益严峻的验证挑战。当今行业的最新技术是基于UVM和基于形式化（Formal）的验证流程。事实证明，这两种技术都可以显著提高验证质量，但缺点是测试用例或激励不能“重复使用”。测试用例的可移植性一直是整个行业验证团队的目标。没有人愿意通过为不同的测试环境重写相同的测试来重新发明轮子。新的可移植激励标准通过一次编写测试意图，然后重新使用测试意图为不同的目标测试应用程序创建测试来解决此问题。为该标准设计的语言是C++的扩展。便携式激励模型可以与基于UVM...

​最近，随着DVCon2019 China论文摘要提交的白热化，越来越多工程师跃跃欲试，呼吁路桑推出往届论文的呼声也越来越高，所以，路桑决定将往届DVCon的优秀论文带给大家，启发更多的工程师加入DVCon2019China。我们将往届优秀论文的观点加以提炼，展现给大家，希望可以给大家提供IC领域的前沿讯息，成为大家了解IC行业的窗口。摘要现代验证的主要内容是随机约束仿真，主要挑战之一是找...

​rockeric.com还有两个月就又到年底了，按照往常是要做年终总结的，可从今年路桑发表的文章来看，数量远远没有达到年初计划，反倒是自己在催周围的同事朋友们多给明年的DVCon中国大会投论文。索性在接下来几周多补一补今年的作业吧，写一写浓妆淡抹总相宜的短篇。如果你知道UVM，也还知道UVM通信的标准，那你有没有考虑过，TLM通信的对象为什么是类？——除了类，我们还有什么可以用来通...

​rockeric.comJim Hogan，Vista Ventures和LLC的执行合伙人jimHogan也是EDA领域资深的投资者，最近一直在关注一些验证初创公司，包括云技术公司-Metrics以及便携式激励（portable stimulus）的先驱Breker Verification systems。他还将OneSpin Solutions的形式验证加入到了他的长期关注的列表中。这...

​rockeric.com如果读者习惯看段落清晰的论文结构，恐怕会很容易遗落这篇论文。来自Vtool公司的Djuro Grubor针对数据流设计在验证环境复用性方面，尤其是scoreboard复用性上面有自己的一套完整见解。从国内目前的IC设计产品领域分布来看，通信（~40%）依然是最大的部分，而通信类的SoC设计验证经常会跟数据流设计（data stream）紧密相关。这篇文章《Veri...

​rockeric.com昨晚在等班机的途中，又翻了几篇DVCon2018US的论文，它们更多的在偏重于不同场景、不同领域的方法学应用，而真正能够创新且有使用价值的论文还是珍贵。看多了这些阳春白雪的东西，一方面在感叹为什么国内验证思想和应用与国外依然有如此之差距以外，一方面也在考虑除了DVCon、DAC、SNUG等展会论文以后还有哪些途径的论文可以对我们国内读者的工作能够起到及时雨的帮助。...