Spec-Driven设计

Agnisys首席执行官认为,清洁设计方法可以大幅减少验证时间。

受欢迎程度

首席执行官Anupam问题Agnisys,坐下来和半导体工程设计流程,讨论问题和需要固定的。以下是摘录的谈话。

SE:行业面临的大问题是什么?

问题:有一个断开与规范的实现。这就是为什么验证已经变得如此之大。规范,实现没有正确完成。

SE:那不是正确的想法设计吗?这是一个现实的目标吗?

问题:从远处看,整个事情是无法解决的。但我们发现,和工作在一个领域里,我们已经能够解决它,这是硬件软件界面。spec-driven, correct-by-construction方法,效果很好。从细分市场,我们可以发展和解决更大的问题。

SE:你的出发点是什么?

问题:我们一直在处理注册在过去的10年。我们足够了解寄存器spec-driven设计。我们现在观察序列。接下来的一步你使用这些寄存器。在某种意义上,已经开始下一步的便携式刺激。如何创建测试和如何验证在块级或系统级从一个更高的水平?这些都是合并在一起。

SE:未来的挑战是巨大的设计越来越少,你可以做任何事,和很多较小的设计,为物联网需要定制。就是你谈论适应每一个设计?

问题:我们的客户所做的各种各样的设计。适用同样的事情。规模不重要。物联网设计嵌入式系统。有软件和硬件组件,无论目标应用程序。这些设备是问题重重。如果有一个software新利体育在线完整版-hardware组件,然后spec-driven发展是路要走。我们可以扩展到其他领域。我们可以提高抽象层次。

SE:一个便携式刺激背后的想法是可重用性。这是如何工作的呢?

问题:可重用性不仅仅是垂直的,喜欢相同的刺激块级别的工作,一直到顶端。这也是水平,从各种不同的平台,验证通过验证。影响发展的挑战,如何创建足够的抽象或足够的细节所以你能够目标所有这些平台或所有这些层次的抽象。这是一个挑战。我不是说我们已经有了所有的答案。但是我们已经展示了成功的道路。大EDA供应商是快乐的,,因为我们提供了我所说的最后一英里的客户在两个方面。我们提供一个抽象硬件在他们想要使用的任何软件环境。

SE:规范定义了谁?并且已经改变了吗?

问题架构师。所有提要的计算机验证,设备驱动程序。改变的是,架构师必须做更多的工作。如果他们可以在更高的层面,他们可以预先创建规范和增加价值的设计过程。而不是依赖硬件软件界面之后,架构师是创建该接口规范。

SE:过去他们的硬件或软件,对吧?

问题:是的,或有人在弄清楚并采取这一步该接口。现在所有的建筑师可以在更高的级别上完成的。

SE:力量进入,好吗?

问题:是的。我们看到更多。力量发挥到越来越复杂。我们能够创建可以捕获行为的规范,包括权力。趟车是其中的一部分。所以是驱动电路,驱动软件。

SE:这在很大程度上是一个黑暗的硅策略?

问题:没错,寄存器发挥作用的地方。有时钟门控电路的各个部分。

SE:注册进入呢?它是完全打开或关闭,还是介于两者之间?

问题:我们遇到的是。你可以玩其他游戏,,这是来了。但它还没有发生。多年来,它一开始简单的寄存器。规格正变得越来越复杂。

SE:一些IP的一个问题是它是一个黑盒子。这是怎么影响你在做什么?

问题:有两个答案。一个是我们帮助人们创建IP和接口。在这种情况下,它很好记录和理解如何使用IP。另一方面,有可能你会得到一个黑盒和一个PDF文档。你做得到IP-XACT,但有时这并不说的一切。你打算如何计划?

SE:但也使正确的施工困难如果你不知道什么是在一个设计中,对吧?

问题:没错。正确的施工水平。当你知道一切,IP可以通过建设是正确的。但是如果有些事情你不知道的IP,然后由建设正确的就走出了窗外。这就是你需要有很好定义的接口。包括物理接口,别针和公交车。但它也包括你所做的。你如何访问API是一个接口的硬件。这是失踪,没有人谈论。

SE:内存受此影响吗?

问题:地址总线,所有寄存器和内存,规范中定义的。

SE:有什么问题吗?延迟是类型的内存,访问的内存?

问题:这是带宽、延迟和灵活性改变内存类型。它是广泛,双端口?这取决于设备的功能。如果你想要注册总线编写和应用程序逻辑阅读,你会写引用软件和阅读引用硬件。双方可以写,,在一个共享内存。

SE:找出谁的记忆是如何的特点所以你可以选择一个或另一个?

问题:这是客户,这是基于功能。有延迟。我们提供客户端注册公共汽车。客户端接口的内存。我们总是被确保客户零延迟和高吞吐量。这是一个问题,我们解决这个问题。

SE:你的下一个重大挑战方面的技术?

问题:硬件的创建API,可以使用的软件。我们需要一些方式来定义它,一些方法来使用它。



留下一个回复


(注意:这个名字会显示公开)

Baidu