设计范式转向提高验证效率


我们正处在一个危机之间日益增长的差距验证效率和有效性。这场危机无法通过验证方法和技术的改进解决孤独。事实上,它需要一个哲学方式的改变我们的方法设计,强调缺陷预防。我们称这个根本性的改变为设计使用intent-fo…»阅读更多

开发健壮的有限状态机代码和皮棉的工具


随着设计规模和复杂性的增加,设计验证的努力会更强大。需要花费大量的时间,彻底验证复杂的控制逻辑的设计,这是设计的关键和最重要的组件的功能。最常见的一种设计模式在控制逻辑设计有限状态机。他们可以设计不同的风格,一个…»阅读更多

对你的RTL物理线头:身体素质指标


为什么在RTL分析物理指标吗?RTL的逻辑结构生成的质量直接影响设计的迭代的数量需要关闭一个设计。此外,从RTL生成的逻辑结构的质量直接影响设计的利用率。这些趋势如图1所示。从本质上讲,提高d中的逻辑结构的质量…»阅读更多

Billion-Gate签收


在去年的设计和验证会议在圣何塞,真正的意图有教程会话”Pre-Simulation RTL签字确认。行业的“这是一个开始的谈话,我们已经看到增长到2013年DAC奥斯汀和每天的呼声越来越高。验证公司正在讨论穿越billion-gate阈值,能做些什么……»阅读更多

Baidu