供应商差异化可以通过约束求解的质量?答案可能是不同SystemVerilog和便携式刺激。
准备半导体工程涉及的文章和很多人说话,然后试图满足他们表述一起的方式是合理的和公平的。有时一个主题会出现在其中的一个电话,不是真正的主题,但仍然是有趣的。本周一个这样的事件发生而做的研究验证3.0条。
主题是解决约束。这些是部分testbench和指导用于向量集的生成模拟。马克•克拉产品营销经理导师,西门子业务表示,在早期,经常可以听到用户报告,大致相同的时间是花在约束求解在模拟器本身。这代表了50%的开销。他很高兴报告之后已经取得了很大的进展,现在通常在10%左右。
他还说,“SystemVerilog约束解决相当商品化。他们打包成模拟器和没有支付额外的。我不记得上次我们做了一个模拟基准使用约束随机环境。每一个基准是一组长期定向测试模拟器怎么基准测试。”
哈里·福斯特的首席科学家导师,说“随着时间的推移,你会发现越来越少的分化方面的约束动力学。我们都让他们来自同一个地方,在过去,差异是与测试相关的运行和调优。低分化这就是为什么你会发现随着时间的推移每个约束解算器看到越来越多的情况下,他们得到调整,直到他们成为商品。”
他们大胆的声明,所以我有一个快速和亚当•谢尔聊天系统中产品管理组主管&验证小组节奏设计系统,看他是否同意这些语句。“用户关心的质量结果起动时每个服务器24/7/365回归农场,他们并没有取得进步。他们增加更多的测试,似乎并不在报道此时他们看看质量的结果。”
谢尔认为仍有解决区分自己的空间。他还不能完全购买的概念都来自同一个地方。“大学引擎关注底层解决者和他们的能力将产生BDD引擎,SAT引擎和试着找到效率在数据存储和执行——这是伟大的形式的研究。他们没有大规模的图书馆设计,其中每个子类设计有自己的独特的解决方案空间和约束集。一个好的商业引擎必须面对所有这些。”
因此,尽管他不同意,他也不反对,两家公司都说,如果你看到足够的设计,那么你的解算器可以变得更好,但可能有限制的改进,直到你开始性能水平。
testcase开销可能下降的另一个原因是用户教育。在早期的SystemVerilog,几乎没有指导如何构建优秀的约束集。今天,所有供应商提供抵押品,白皮书和其他形式的指导。
什么是两个供应商完全达成一致便携式刺激重置所有。新的需要解决约束和新的方法来解决这个问题是必要的。”SoC水平我们验证是非理性的状态空间大,”谢尔说。“投资约束引擎,并确保我们有解决方案,让我们很好的验证,因为这是最终的目标,是一个大投资和关注的领域。”
也许很长时间解决便携式刺激成为商品。没有供应商的巨大图书馆在指尖使用完整的SoC设计优化和使用的一些引擎可能不同于那些在正式验证引擎,这意味着每个厂商已开始有些干净的纸。这可能意味着供应商将看到更多的基准进行解算器的质量。
祝每个人都好运——用户和供应商。
|
|
|
|
|
|
|
|
|
|
我最近的经验后添加更多的可控制性的随机刺激(可能)中型结核病已经表明,大约90%的时间解决约束。如果你只是随机的物品是彼此独立的,每个接口,那么你将可能达到10%的在文章中提到的,但是这将是非常困难的正确引导你刺激你想要的方向。你描述的情况亚当·谢尔,增加更多的测试和几乎没有更多的报道。
我还没有使用便携使用的刺激,但我真的希望它能帮助在这方面,通过消除很多的“运行和希望”因素的很大一部分constrained-random验证。
谢谢你提供的数据点都铎王朝。总是很高兴听到真实用户分享他们的经历。