通用验证方法失去动力


在过去十年左右的时间里,通用验证方法(UVM)一直是整个EDA行业所支持的事实上的验证方法。但随着芯片变得越来越异构、越来越复杂、越来越大,UVM正在失去动力。共识是需要一些基本的改变,将工具提升到一个抽象级别,并使它们更加方便。»阅读更多

自动驾驶汽车缩短了10亿英里的测试里程


一辆自动驾驶汽车需要行驶多少英里才能被证明是安全的,目前还没有答案。但一些自动驾驶汽车开发人员和测试公司希望通过自动化来减轻负担,这使得数百万英里的真实和模拟道路测试更容易实现,并得到更容易创建和交易模拟场景的标准的支持。目标是减少…»阅读更多

需要多少验证?


自从IC设计流程出现以来,从Verilog或VHDL等语言的RTL描述开始,项目团队一直在努力解决原始RTL开发人员可以和应该执行多少验证的问题。基于高级语言的约束随机方法,如[gettech id="31021" t_name="e"]或[gettech id="31023" comment="SystemVerilog"],进一步巩固了t…»阅读更多

面向方面的设计?


1992年,[getperson id=" 11046 " comment="Yoav Hollander"]有了采用一种叫做面向方面编程(AOP)的软件编程规程并将其应用于硬件验证的想法。这些概念被整合到[gettech id="31021" t_name="e"]语言中,[getentity id="22068" e_name="Verisity"]形成并将其商业化。Hollander已经看到使用obj…»阅读更多

EDA标准的问题


在EDA行业中,标准的含义与大多数行业相同吗?自由词典将其定义为:被广泛认可或使用的事物,如实践或产品,尤指因其卓越而被广泛认可或使用。在EDA行业中,标准机构是EDA公司和客户聚集在一起试图实现融合的地方,通常是在一个新的或新兴的领域。»阅读更多

与SystemC TLM 2.0模型有效通信的语言接口添加


在过去的几年中,使用SystemC TLM 2.0的事务级模型得到了广泛的采用。这些模型用于软件验证和虚拟原型。对于功能验证,tlm有许多优点——它们更早可用,它们允许用户将注意力分散在验证功能和协议/计时细节上,它们支持更高级别的重用,而且它们……»阅读更多

Baidu