在云中Impare传授其见解验证
我们都知道,芯片设计验证是芯片发展的重要瓶颈。这只瓶颈变得越来越狭窄的设计复杂性化合物,和错误的机会逃在比赛中增加以满足更严格的市场窗口。应对这种效果,显著投资芯片验证环境和计算能力是必要的,以确保设计的功能目的没有失败。然而,这种类型的财务支出往往是遥不可及的一些公司,和那些能负担得起,可伸缩性仍然有限。
芯片设计验证迁移到云的可以答案吗?
帮助回答这个问题,我最近跟费萨尔Haque, Impare创始人和验证领域的专家,他最近采用了Synopsys对此云和Synopsys对此SaaS云验证实例为他的公司。除了从他成功的验证服务公司,他是一个有成就的作家在主题的验证,在这个问题上已经写了三本书。从我们的谈话读取的见解。
我:费萨尔,谢谢你花时间跟我说话。在我们深入Impare Synopsys对此的使用SaaS云,你能给一些背景知识在你的公司吗?
费萨尔:当然可以。Impare验证服务公司是我创立帮助芯片开发人员验证他们的最复杂的设计。团队有超过70年的累积设计和验证经验。我们已经贴了40多个芯片设计的一些全球领先的半导体公司。我们不仅对自己是最具成本竞争力,我们能向客户提供一个5:1的成本优势,而且,我们不妥协的质量。我们的工程师验证纪律和训练的积极贡献帮助验证RISC-V和OpenTitan内核。
我:有那么多验证经验一个屋檐下,我很好奇你面临什么样的挑战。
费萨尔:开始,我们的团队缺乏基础设施运行模拟和回归。我们不需要花费时间和资源构建一个单独的服务器农场我们的计算,存储和许可证的需要。Synopsys对此SaaS云,我们得到了一个虚拟服务器农场Impare和能够集中在验证我们的客户提出的挑战。
我:云是针对解决这些大规模计算和资源问题,但是是什么Synopsys对此云解决方案让你选择吗?
费萨尔:我们评估了Synopsys对此SaaS云,发现很容易设置和开始。CAD /它是完全支持任何安装了复杂性。接口是直接一旦设置,它给你一个工作的Linux终端。更不用说,远程访问是基于HTML浏览器界面与多因素身份验证严密的保安措施。由于快速增加,我们没有浪费时间,可以专注于验证设计。Synopsys对此还提供了灵活的许可方案,允许我们轻易规模验证计算需要向上或向下。
我:你是说你没有遇到任何的问题设置?
费萨尔:我们确实遇到一些问题在早期与用户相关的设置,但是这些小,很快就解决了。总体而言,它只花了5 - 10分钟系统中建立我们的用户。这是一个非常简单的三步过程:
- 的用户(s)注册邮件Synopsys对此SaaS云。
- 客户管理员将用户添加到该公司的虚拟农场。
- 用户(s)设置应用程序提供一个终端访问虚拟农场。
我:你能告诉我具体画Synopsys对此SaaS云验证实例吗?毕竟,你和你的团队是专家,所以我认为你有很高的期望。
费萨尔:客户创建的设计是相当复杂的。做验证零碎是困难的,显然并不理想,而且会导致错误和错误转义。我们想要一个解决方案,包含一个完整的验证流从测试计划与自动化构建回归。Synopsys对此SaaS云验证实例提供这种类型的无缝合作的工作环境,让我们的工程师远程验证任务,迅速和容易。
我:你提到远程协作的能力。你能详细说明吗?
费萨尔:我们的验证团队分布在全球范围内,但团队成员经常在同一个项目工作。验证实例允许他们轻松协作验证工作。他们可以远程查看和检查验证项目,节省的工作已经完成,与同行分享它。
我:有任何技术方面你已经发现有价值的吗?
费萨尔:验证实例提供了一个完整的框架从IDE(集成开发环境)到指定范围的能力目标和测试计划以及提供自动化和构建自己的定制脚本。解决方案还允许我们创建testbenches SystemVerilog, UVM,硬件描述语言(VHDL)和混合语言的设计。的Synopsys对此投®模拟器和Synopsys对此威尔第®调试器包含在验证实例也是一流的,它给了我们信心,我们检测和修复bug。访问Synopsys对此贵宾可以让我们得到一个启动验证过程。
我:覆盖关闭呢?你认为验证实例如何影响time-to-verification-closure吗?
费萨尔:是的,达到验证关闭快速、准确是非常重要的特别是当我们正在几个并行的设计。理解水平的范围可以是一个挑战,因为流中的每一个工具都有不同的指标和很多时间手动解释数据。因为这是手工的,人为错误会导致无法实现的东西。手动重新运行失败的测试不仅是耗时的,但也会增加错误逃脱的机会。验证实例提供了必要的自动化,以避免长时间验证关闭和错过了虫子,给我们信心,报道实际上是达到了。
我:你提到的可伸缩性。如何验证实例能够帮助你吗?
费萨尔:我们执行大量的验证工作,经常,峰值在至关重要的里程碑。Synopsys对此SaaS云验证实例提供的灵活性允许我们快速规模和增加计算和许可资源来满足这些峰值需求。验证需求减弱,然后我们缩减我们的计算和许可要求很容易。这种灵活性允许我们创建效率与马力和优化验证成本。
我:有其他功能你想看到Synopsys对此SaaS云验证实例?
费萨尔:一个坚实的修订控制系统就好了。现在,我们没有一个乏味的人工作,它使版本跟踪有点困难。添加合成和产品毛羽有限功能也将帮助我们的工程师容易合成和皮棉任何设计更改。除了这些,验证实例我们所有的标志。
我:谢谢你有价值的反馈。实际上,我们的团队已经使客户能够安全地连接到他们的私人仓库如GitHub, SVN, Bitbucket都必然地等在自己的环境中运行,所以从Synopsys对此版本控制可以管理SaaS云。
我:我让你走之前最后一个问题。什么建议或反馈你会与公司分享希望采用Synopsys对此云和可能验证实例呢?
费萨尔:Synopsys对此云可以受益创业公司和大公司但略有不同的原因。许多初创公司不会使用on-prem充分资源,让这些资源低效和昂贵的许可和维护。创业可以使用Synopsys对此SaaS云解决方案构建基础设施有限的和灵活的投资模型。大公司可以受益于根据需要扩展能力和增强现有on-prem资源来满足高峰需求。创业公司和大公司都可以利用远程Synopsys对此云能提供合作机会。
我:非常感谢,费萨尔,这种深刻的分析。
Impare继续利用云计算和验证Synopsys对此实例的许多项目。更多地了解Impare可以访问他们网站。更多地了解如何利用云像Impare验证,你可以下载验证实例技术论文和看按需网络研讨会”可伸缩的、按需(分钟)验证达到保险关闭”
