系统级验证是验证技术的新领域，Breker在这一领域的时间比任何人都长。
《半导体工程》采访了Breker Verification Systems的创始人兼首席执行官Adnan Hamid。Breker成立于2003年，一直专注于使用基于图形的输入方法为多处理器soc创建验证方法——在Mentor Graphics决定将其格式捐赠给Accellera进行标准化之后，这成为了2014年DVCon的热门话题。
SE:是什么让你夜不能寐?
哈米德他说:让我的客户夜不能寐的是把产品送出家门，让它们正确无误，这意味着要进行验证。他们知道自己落后了，他们需要做些不同的事情。让我夜不能寐的是想方设法让他们转换到一个新的范式。我需要让他们停止使用一些定向测试，而是使用程序生成进行系统测试。
SE:初创公司通常会开辟道路，而其他人则会从他们的努力中获益。你怎么保证这种事不会发生?
哈米德:这正是革新者困境的主题(克莱顿·克里斯滕森——革新者困境)，我不认为这里有什么灵丹妙药。创新者希望对问题了解得更多，更好地理解问题，这样他们就能给出更好的答案。
SE:你是否看到了应用的增加?
哈米德:当然。许多公司已经意识到他们有一个大问题。他们已经看到了随机化对设计验证组的影响，他们也想参与进来。失败是真实存在的。在第一块硅片问世后，soc经常会出现上百个错误。几乎有一半是被他们的客户发现的，这不是你想要发生的;30%的问题是在DV组内发现的，另外20%是由芯片公司的软件团队发现的，这不是他们的重点，需要更长的时间来调试。公司从原理图捕捉转换到逻辑合成需要什么?在某种程度上，问题变得太大了，转向不同的解决方案是合乎逻辑的。
SE:这是由生产力还是质量驱动的?
哈米德:如果你看看系统级验证人员所做的工作，仿真人员，设计验证人员——他们都花时间试图提出测试用例并调试它们，大部分时间都花在构思测试结构上。系统级测试用例变得复杂。它不再是关于单个UART，你想让它做些什么，它更像一个使用JPEG解码器的相机去显示。因此，主要的问题是生产力，因为手工编写测试需要花费太长时间。
SE:可行的产品通常有很多漏洞，但它们已经足够好了。你是想让他们从足够变得更好吗?
哈米德这不是重点。芯片行业应该拍拍自己的背，因为芯片不会有成千上万的漏洞。考虑到这些系统所包含的逻辑数量，《Hundreds》是相当惊人的。是的，在有些情况下，一家公司有芯片，他们也为它提供了驱动程序，许多问题可以在该驱动程序中修复或隐藏。问题不在于我们是否需要达到完美的质量;问题是上市时间。在许多情况下，如果软件团队发现了一些问题，他们需要很长时间才能确定这是否真的是一个问题，我们需要改善这种情况。
SE:你们最近推出了一款硅验证产品。这是如何提高生产力的工具?
哈米德:看待这个问题的一种方法是，你需要找到芯片的局限性。我们无法模拟这些东西，这对这个行业来说是个大问题。仿真和FPGA原型设计试图填补这一空白。但是有些事情会失败，你需要描述芯片中哪些是有效的。这可以让软件开发人员避免发现问题，因为他们已经知道了问题，所以这仍然有助于更快地推出产品。
SE: Mentor最近宣布将其基于图形的格式捐赠给Accellera进行标准化。你对此有什么看法?
哈米德: Breker全面参与了Accellera便携式刺激规范建议工作组(PWG)。我们有两个预订。首先是拟议标准的狭隘性，因为它定义了没有覆盖范围的刺激。第二个保留意见是，现在制定标准还为时过早，这可能会扼杀创新。然而，我们相信这是由用户社区来决定他们需要什么样的标准以及何时需要。如果Accellera成立了工作组(WG)，朝着标准化方向发展，Breker将继续积极参与，成为Accellera的成员，并为图表规范贡献我们的语法。
|
|
|
|
|
|
|
|
|
通过半导体工程。执行洞察力:Adnan Hamid。[…]