专家在餐桌上。第2部分:专家讨论验证和可重用性问题新工程师面临的陡峭的学习曲线。
半导体工程坐下来与一群验证专家已取得多少进展在解决问题相关的职业。小组成员包括迈克•贝尔德的威拉米特河高密度脂蛋白;金张副总裁营销和客户关系Oski技术和营销顾问Lauro Rizzatti和以前的总经理EVE-USA。在第一部分,专家们讨论了目前看到的变化,验证过程中发生的变化。以下是摘录的谈话。
SE:据说,你只需要改变15%或20%的设计,你必须重做所有的验证。这意味着验证不是可重用。
Rizzatti:上市时间一直是一个问题,缺少市场由两个或三个月的收入意味着你已经失去了很多。高达70%的设计周期被验证,你必须做这项工作。
贝尔德:我们都是使用相同的技术和优势之一是市场更快。重用是一个大问题。你有类似的UVM是大承诺的重用,但真的没有辜负它。我们不断尝试方法作为答案,但是有一个价格你需要支付所有的重用能力验证和大多数人都不愿意支付他们的首次推向市场。即使他们这样做了,有一个营业额在工程师和大部分的知识。公司花时间块级别的重用构建到他们testbench仍质疑价值如果有营业额,因为新的工程师可能不理解遗产。实际问题保持拍摄下来。
Rizzatti今天UVM采用,在主流吗?在印度DVCon UVM 10周年,有几个人发表了一个声明,UVM是主流。我想知道吗?
贝尔德:这月的味道了,第一波收养了。但是你正在处理一个面向对象的软件开发环境,除此之外,第一波是更多的问题。不重用你不得到全部好处。因此,尽管人们已经采用它,使用它,我看到它被用于一个简单的方法。你有什么,你可以从大厦到建造一个小屋。有许多比豪宅棚屋。你不需要在这一水平,从中可以但是你需要超出了棚屋。这是一个复杂的问题。
张:我们也许是有偏见的,因为我们的客户都是做前沿发展。他们这样做的原因之一形式验证是因为重用。一个正式的验证testbench包含很多属性断言。下一代可能会有一些变化,但功能可能不会改变很多。你可能只需要改变一个断言。这是一个很少的努力维护。正式还允许验证早期开始,给了他们一个更好的机会击中他们的时间表。
贝尔德:什么是阻碍人们从正式的做什么?
张:这是学习。需要两到三年的学习成为一个专家。
贝尔德:这是一个漫长而陡峭的学习曲线。
SE: UVM的学习曲线是什么?
贝尔德:这取决于你的背景,但进入验证设计工程师,有面向对象的软件开发是一个学习曲线独立于你正在做的事情。另一件事是UVM有些做出的选择,因为它变得很复杂。他们没有简单的方法。你必须要强大的灵活性,但复杂的成本。这种关系总是持有。你想要简单的那么少灵活,因此有能力。SystemVerilog是中等的复杂性和UVM类库了完整的灵活性和复杂性。你可以得到的曲线更快如果你不关心重用。获得足够的经验,你必须通过一个或两个完整的项目,需要几年。
SE:听起来好像正式不再是更困难的技术?
张:复杂性与正式的概念是基于过去当技术不够成熟,方法是不存在的。今天,它仍然是复杂,但可以学到的东西。它比UVM不再学习。你只要愿意努力工作,要有耐心。
贝尔德:是的,但仍认为它是某种黑魔法。模拟是起源于80年代,我们知道怎么做…
张:我们战斗,感觉所有的时间。
SE: UVM如何符合模拟吗?
Rizzatti:在DVCon有三或四篇论文谈到UVM仿真。根据其中的一个演示,可以构建一个UVM环境,将两个模拟没有妥协,也可以在仿真运行没有变化。
贝尔德我一直参与导师图形和他们与UVM仿真工作。他们准备好模拟友好和模拟的概念。准备意味着我所有的synthesizable东西围捕到模拟器,然后其余的在模拟器上运行得非常抽象。友好意味着方法可以适应,但我可能需要调整一些事情。我们教人们总是先模拟友好事情即使他们不确定他们将使用模拟。
SE:工具被设计用来帮助创建UVM testbenches吗?
贝尔德:是的。很多UVM是一个框架,然后有很多块,坐在里面的框架。什么是可以自动创建的框架和工具正在开发中。他们是分层的东西上,允许您指定你需要的,然后他们将连接必要的片段组合在一起。然后你必须手动去,把你的行为。
张:在正式的空间,有公司试图合成断言通过观察仿真数据库和写出断言。我不认为他们是非常成功的。只有这么多的工具所能做的,所需情报,不能使按钮。人们希望与正式的,你可以按下按钮,但很多时候它不会完成你要做的分析。
SE:验证的下一件大事是什么?
张:有些人认为正式将成为默认。有两种形式:属性检查和模型检查。我们与物业检查成功,我想我们会有模型检测在接下来的十年。正式使用更多的块级别的验证,这是开始推动仿真子系统的水平。
Rizzatti:如果正式推模拟向上照顾大的块,然后仿真是仿真得到更挤。
贝尔德:我们倾向于认为RTL的模拟,但我们从晶体管有范式转换到门,然后RTL。有试图改变它更高但这些并没有在更广泛的意义上是成功的。我们有高水平的合成和照顾DSP空间,但它没有广泛传播。甚至不会推动仿真模拟,因为你不能把抽象描述成一个模拟器。我们一直在努力寻找下一个抽象了15年了。
|
|
|
|
|
|
|
|
|
|
有什么区别模型检测和财产检查吗?维基百科的文章说,他们是一样的:https://en.wikipedia.org/wiki/Model_checking
我将检查与张女士。她可能意味着财产检查和定理证明,但有些人也区分活性和安全检查。如果是后者,那么更好的解释的差异将是有益的。