差距在验证流程

半导体工程坐下来讨论功能验证的状态与斯蒂芬·贝利流,新兴公司主管导师图形;的首席执行官Agnisys;的首席执行官测试和验证方案;戴夫Kelf,负责营销的副总裁OneSpin解决方案;和迈克Stellfox,节奏的家伙。第一部分的对话可以找到在这里。以下是摘录的谈话。

SE:我们需要一个新的报道模型?

问题:应该是自动生成的,是工具可以发挥作用的地方。从设计意图,应该生成的覆盖模型。这应该有助于解决验证问题。

贝利从系统级规范:你能做到吗?如果我们可以,那就太好了。

问题:左移位问题如何你可以离开了。当你去极左规范本身。这就是一切都应从。

SE:除非你能提取语义设计是为了做什么,你有什么比代码覆盖率?

问题:代码覆盖率是给定的。我们需要它。但它不给你任何关于功能。这是嵌入在某种形式的规范。

贝利:是它的挑战是在一个人类的语言。

问题我们已经解决了至少两个区域,如寄存器和序列。那些都是很好地转化成代码覆盖率RTL代码和注册模型和验证环境。这可以做到,因为你已经创建了规范的格式,易于解析和正式的方法来指定它。

贝利:这是正式的,但我认为,他们也容易让一个人读,使用和理解。更简洁的方式指定它们。但是当你离开这些地区,去完整的正式规范在功能层面,认为Zed的。

Bartley我看着Zed早在1992年。它还没有发生。寄存器,解决方案仍然是有限的。你所做的是说我能读和写这个寄存器。你不验证登记真正用于或其用例。

贝利:不,它比这一点。

问题:是的,我们可以去。我们已经成功的注册空间和在处理注册的行为可能会扩展到其他领域。

贝利:是的,它可以像正式的应用程序,和一点点你解决的部分问题。

SE:问题是获得更广泛。现在我们有能力、安全性能。我们将如何攻击这些问题?

贝利:所有的问题一直存在。安全一直是一个问题很久了。公司想要加密版本的固件,继续严格控制这些事情。只是在提高优先级。权力一直是一个问题。如果你只是做了功能验证,从来没有模拟rails你的力量,你会得到一个芯片,你无法启动。人们发现这个东西。当它成为必要,在权力的情况下,影响功能行为然后我们开始看权力统一格式以及如何捕获这些信息和提供更好的自动化。事情起来优先,导致解决方案在不同的领域。

Bartley:人进入的市场意味着更多的人关心他们。没有多少人关心安全过去,但是今天更多的做。相同的与安全。如果你不联系,你就不会烦恼与安全。

贝利安全:在过去,最大的例子是医学。的复杂性比ADAS低很多。

Kelf:当你有一个应用程序比如买一辆汽车,它所有的复杂性,然后爆炸的问题。安全是由。你有信心安全类型,如一个关键,你要确保它不传播,然后你有诚信,你要确保没有人可以使芯片做一些不应该做的,这是更难的考验。有技术,如正式的,你可以做很多的测试与仿真,因为它是不可能的。

Bartley:安全的影响将主要使用方法和技术处理。安全是一个过程。这比其他一些更大的影响。安全,你必须证明你提供的流程和文档。

贝利:这是责任的一面,这是一个重要的商业司机。

Kelf:那天有人送一辆车从路上的黑客是每个人都注意到的那一天。

Bartley:安全是安全的一部分。你必须做风险分析。

贝利:在这个时间点上,还有很长的路要走。他们计划在2020年无人驾驶汽车在路上。我只是访问以色列和租车通常mobile-eye。非常烦人,而且不断地告诉你,你太接近前面的车。最后一个也有车道偏离警告和你去一个出口匝道和它在你开始哔哔声。这是困惑。印度人嘲笑的想法无人驾驶汽车。目标是最大化的每一平方英寸的有效性。

问题:如果你真的想要测试你的系统在印度你会做它。

SE:增长的重要性的另一个问题是软件和验证软件的硬件。

Stellfox:我们看到的是,那些建筑soc说,在过去他们设计了一个芯片和交付。但是今天超过一半的他们提供相关的固件。特别是汽车、和我们看到的验证和可追溯性,您需要提供证明你做了固件的验证操作硬件非常高。我们看到的概念用例验证,便携式刺激工作小组试图攻击,是最大的一个领域,你可以问,“你怎么能更加系统目标用例验证,这样您就可以压力系统下的系统用例之前你把成堆的软件最重要的是?“现在我看到的最大的区域。

问题:硬件的软件接口是一个主要候选人spec-based发展。我们看到的好处。我觉得没有能力来描述设计正式的验证方式是最大的差距。如果我们有,我们不需要验证。

贝利:你不能认真的。你甚至不能正式证明,说这正是我想做的事。

问题:我不是说正式的,我是说正式规范。

Bartley:然后你验证问题已被转移到一个验证问题。

问题:我说,生成正确的建设

Bartley:我曾在软件很多年前。他们试着这30年前,它不工作。

贝利:市场已经多年,正式规范的投资需要,水平是不值得的。成本太高了。

问题:有一个明确的成功在桌子上这是一个硬件的软件接口。我们可以,除了扩展到其他领域。

贝利:有许多例子正式一直有用,但这些地区投资的规范是值得的。

Kelf:这是正确的。这是一个大量的工作和一个真正的正式规范没有。

贝利:和自动化应用程序的方式来扩大。你吐露用户不必拿出所有的属性和本质上的验证知识产权打包,在正式引擎本身为一个完整的解决方案。所以他们只需要运行它。

Kelf:它是有趣的。有软件,然后是软件。你谈论的界面,操作系统和驱动程序,还有的应用之上的手机或电脑。在通信设备的情况下,协议栈,这是所有分层的硬件。如果你看那些你想知道如果你能仔细和不同层验证每一层牢固,小心翼翼地从硬件抽象层去。你能考虑虚拟的平台的路要走,或者你只是把它所有的模拟器并运行它?

贝利验证发布会上:去年秋天,微软。他们是一个大的正式用户软件。他们开始与司机软件可能是因为他们累了有这么多崩溃导致的司机。它做了一个很有意义的。仍然有这个问题,没有穿过两个领域——硬件和软件。所以你用,但是你仍然有接口和它们之间的交互。

Kelf:你能立即采取这一层之间的硬件和软件,提出一个正式的描述?

贝利:也许,但问题是谁会这么做?

有关的故事
差距在验证流(第1部分)
验证的任务是改变和工具都在努力跟上他们,增加的复杂性。需要更多的验证重用。
调试成为一个更大的问题
EDA公司发展更多的集成调试流将执行引擎和硬件和软件紧密联系在一起,但这是否就足够了呢?
系统级验证第3部分解决的新角色
汽车可靠性和覆盖;便携式刺激的真正价值。
验证发动机断开
从一个验证引擎无缝移动到另一个是一个很好的目标,但它比看起来难。