执行官的洞察力:Raik Brinkmann

总裁兼首席执行官OneSpin解决方案与半导体工程,坐下来,讨论形式验证越来越受人关注的地点和原因,以及它与其他验证方法。以下是摘录的谈话。

SE:正式的已经存在了一段时间,但采用一直缓慢,因为大多数工程师不懂断言。是什么改变了?

Brinkmann:改变的是,我们实际上已经想出如何使人富有成效的断言。人认为写作断言是一个大问题。这并不是说。理解他们的意思,并确保您可以使用该工具在一个简单的方法来证明或反驳他们或运行随机检查。改变的是我们为正式发明些什么报道,所以人们得到反馈如果他们证明断言,他们实际实现的背后是什么。否则很难理解,我已经证明了它,但它实际上是什么意思?”

SE:很长一段时间,这几乎是一个学术项目。对吧?

Brinkmann从学术方面:是的,你得吊儿郎当,所有的选项,所有这些证据引擎使它工作。现在,好的工具有一个很好的现成的经验。对于大多数的断言,你写,你不需要调整任何东西,只是运行它,它会想出一些解决方案或在合理的时间内回答。你不需要理解深深地用户不同的引擎如何工作,如何在一起,在哪里应用。这一切都隐藏在幕后,工具为你决定:引擎选择哪一个。这是容易得多。人们现在可以专注于写断言和理解他们的意思,但不需要深入探究技术为了使用它。

SE:别的东西也改变了另一边。人的原因他们必须这样做,在过去他们可以算出来。

Brinkmann:在生产力方向在仿真方面,人们意识到现在超过以往,捕捉虫子是非常重要的,它不仅仅是营销人员解释。只是后来发现他们在大成本太高模拟环境。

SE:那是一个函数的复杂性10 nm或7海里,还是16/14nm ?

Brinkmann:它是在某种程度上因为你刚刚适应更多的功能在芯片上。你将更大的系统集成。单一的缺陷可以杀死整个事情。你最终找到他们,可能与模拟或仿真,但真的很痛苦。人们意识到这是更有效,而不是必要的,早发现bug。

SE:当你发现一个错误,你知道它在哪里,而不是找到一个错误,现在让我们经历的所有代码。

Brinkmann:没错。调试更容易如果你在较小的单位和剔除早期容易的事情。然后您可以将精力集中在任何很难找互联的方向testbench你已经拥有的。

SE:其他司机为什么人们采用是什么?

Brinkmann:有一件事是汽车。人们必须得到他们的芯片对于某些安全标准认证。这意味着人们使用更多的验证规划技术和分解验证工作前期为正式的活动,这是非常有用的。正式的非常有效的如果你能计划和预先知道你可以而且应该使用它。如果你决定晚了,你仍然可以使用正式的错误非常有效地狩猎,但它是一个有用的思考正式你设计的某些部分的唯一技术。这就是今天的人做。这已经发生了改变。

SE:正式的潜在用途,当系统是连接到其他系统,跟踪信号的流程,数据,你必须做的事情。是发生或在未来会发生什么吗?

Brinkmann:我不确定,因为正式的通常是不擅长跟踪事情在很长一段时间。如果你需要这样做,那么你也同样需要应用一些特殊技术,抽象之类的。所以你可以做,但是还没有在舞台上我们与其他技术。正式更适用于当你有很多的事情在同一时间,很多好东西可以以不同的方式发生,你要算出如果这总是好事发生的最后,在很短的时间。如果你想通过长序列跟踪的事情,很难与正式将继续如此。

SE:它为新的架构工作,包装结构像2.5 d, 3 d,或新架构?

Brinkmann是的,正式的仍然是一个功能验证技术。现在我们看不到任何大的优势在物理层面或分析模拟或者其他的事情之后,在这一过程中来。

SE:的一个重大问题是,有那么多需要验证和测试。现在你需要一整套的工具来解决这个问题。只是更为复杂。正式的增长是多少?

Brinkmann:有三条腿的验证。一个是模拟最后。在那之前你使用模拟集成问题,运行系统的某些部分。正式之前,这是一个技术最适用于小块,你不需要写一个巨大的试验台,您不能创建一个UVM环境一个块。这不是偿还的敏捷性。人们需要自由在设计东西,他们转身不同微体系结构和实现,以满足性能和其他要求。如果你开始使用高端UVM试验台,同时还开发功能,你会花大量的时间做。正式是更好地辨识规模较小,为你提供场景你想测试的痕迹。这是更富有成效。

SE:它是被预先看看一些工作方式呢?

Brinkmann:这是应用在流。如果你考虑应用程序连接检查或post-silicon调试或其他东西,你可以把正式的整个流程。但如果你去功能验证,然后正式过程赶早不赶晚早些时候占有一席之地。在功能验证方面,它显然是占主导地位的早期验证程序。

SE:采用现在是谁?该公司混合改变了从几年前是什么?

Brinkmann:这是被大公司采用。中型公司采用它,特别是在汽车、和其他关键任务的航空航天和国防等领域。

SE:航空航天和国防一直使用它,对吗?

Brinkmann:没有到那个程度。他们主要依靠构建原型和广泛测试。这是不再扩展,因为它太过复杂。我们也看到它FPGA空间。很多公司不只是使用fpga作为一个原型系统。他们也用它作为一个生产系统。你不能轻易地验证了探测。您需要构建相同的方法围绕它像你在ASIC设计中,包括正式的一面,仿真和测试的长椅。模拟你不需要因为FPGA系统原型系统本身。但最终,你经历这三个阶段。我们看到这些公司正式采用。

SE:这是怎么做的速度增加。每个人看起来都在正式被另一件你要做的。现在,如果它变成流动的一部分,你节省时间在哪里?

Brinkmann:你节省时间,因为它是更快比模拟正式运行。你不需要写刺激或testbench。你必须限制它在某种程度上,或课程。有一些好的观点验证IP预先包装好的订单报价,您可以快速应用,所以你不需要花时间。真的很难想出UVM试验台。这真是一个大量的工作。正式开始更容易应用。你需要更少的努力。你很快地找到bug。这就是你得到你的速度。 You still want to run your UVMs later on to find other types of bugs, but you don’t want to find the easy bugs late. It’s much more productive doing formal, meaning you save time.

SE: node-dependent还是market-dependent当人们使用正式的?

Brinkmann:它是依赖于更多的市场的。节点并不重要,因为当你申请正式工作RTL水平和你正在努力实现的范围的系统定义了什么是有意义的,而不是你使用的流程来实现它。

SE:正式被应用到其他领域,如软件?

Brinkmann:这是在一定程度上发生。我们部署SystemC/ c++作为正式的验证。这是接近比以往任何其他软件。这是一个加强。有人问如果我们可以嵌入一个特定功能从软件到系统在某种程度上,和分析。我们那里,一步一步。

SE的前景是什么?

Brinkmann:这是一个融合。已经有软件形式化验证工具,做一些正式的形式。他们通常以不同的方式试一试。下面的技术是正式的,但仍然比硬件验证这是一个不同的模型。这些系统获得更多的功能验证,所以现在他们通常不做功能验证。他们验证安全方面的软件或某些不好的条件。

SE:就像软件测试,对吗?

Brinkmann是的,但它是正式使用。正式的属性检查软件有点深奥,不是主要使用。进入SystemC和系统级描述,通过更抽象了系统应该做什么,这是运动本身更多的软件。我不能作出预测,将是。这将需要一段时间。

SE:似乎很有道理你可以从软件到硬件和交互。

Brinkmann:仍有限制你所能做的硬件。只要synthesizable,在某种程度上你可以建立一个正式的模型,对RTL类似于我们所做的。一旦你去通用软件验证,你需要运用一些特殊的技术来处理诸如内存不是固定在size-dynamic内存分配,例如。这是一个software-specific问题。

SE:你也可以看看添加性能和功率效率和精确定位在哪里走错了。这是一个看正式的新方法。我们还可以做些什么呢?

Brinkmann。正式是一个很好的技术找出场景和使用它作为测试生成器。这是一个非常好的使用。不只是证明的事情,但也窥视一个特定情况下的一种方式。对权力和性能,这是一件好事低等的工作更有效率,让工具图出来,比想出自己。你不需要是如何工作的深入了解,作为工具来帮你吧。您可以使用正式的很好。在权力验证方面,这是件大事。在性能方面,如果你更改影响你的微体系结构的设计但不改变函数,这就是正式是擅长的一个使用正式的。

SE:这是粒度级别的设计,否则你不可能得到什么?

Brinkmann:正式的能做什么好就是专注于感兴趣的特定区域。对于模拟,需要整个环境和整个芯片。在正式的,你可以切掉你不感兴趣的领域,不相关的,专注于特定的部分。例如,状态机编码,你真的不需要考虑从外面的事情。

SE:你找到更多用于正式成为世界转变从同质异构核设计?

Brinkmann:在这种场合下,我们看到客户使用正式的验证应用程序特定的处理器和固件,以验证子系统有一定的功能。已经完成的软件与硬件相关的,有一定数量的步骤在软件驱动处理器做然后你分析子系统,包括一些硬件。这就是正式的擅长。与异构系统,你不能真正地分析全面实现和考虑系统的机制。你需要抽象,有比这更抽象的模型,以分析。

采用SE:你找到最大的地理位置吗?

Brinkmann:它是依赖于什么类型的正式你看着。在欧洲的汽车。没有太多的汽车公司在美国做芯片设计。但他们真的很想理解其背后的技术,因为他们必须理解比过去更多的无人驾驶汽车。在过去,他们不关心什么芯片。他们买了一个控制箱和有一个处理器和他们修改软件,但是硬件本身他们从不理解到那个程度。现在这种情况正在改变。我们看到奥迪与Nvidia合作。它正在成为一个有趣的市场,与上面的层芯片级供应商。

SE: OneSpin寻找机会,对吧?

Brinkmann:是的,我们是强大的,因为我们一直与汽车和长期合作关系正式如何适用于他们的需求。这就是我们此刻excel。有很多的推动功能验证。这就是我们看到很多正式的采用。不是特定的汽车,它只是一般正式上升不少。也FPGA-use很高在美国有很多感兴趣的。在亚洲的更多高级合成和FPGA。很多亚洲喜欢高级合成。业务是到处捡但它在每个地区的有点不同。

SE:移动和其他市场怎么样?

Brinkmann:更多的基础设施和航空航天、国防和任务关键型应用程序的硬件。这就是今天正式是必备的。

SE。如何应用智能仪表,很少考虑进入安全?他们能跟踪信号路径吗?

Brinkmann:安全在某种程度上在一起。有很多的正式的安全空间。问题是,安全不仅仅是一个单点的问题。这是一个完整的堆栈。有一个整体的方法如何使事情安全。你必须计划。你不做一些安全的自底向上。你必须是安全的自顶向下设计。很难把安全放在已经存在的东西。您可以应用正式验证这些东西很好,但是你需要再次进入建筑水平和分解。