海外扩张Synopsys对此GuideWare:功能线头分析如何节省时间并减少错误在设计周期(第2部分)
正如我们讨论的第1部分这个分三部分的系列博文,产品毛羽技术优先发展显著。今天,当代芯片设计包含多种功能错误和设计问题,可以阻碍产品的质量,从高风险的编码实践在寄存器传输级(RTL)设计描述复杂的硬件软件交互错误之后才出现设计生产。
保持昂贵和耗时的设计改写或衍生版本之前,团队不仅需要智能产品毛羽的工具来识别前期RTL的最大数量的问题,但他们也需要一组预定义的,推荐的基本的和先进的产品毛羽检查依赖在必要的时候。这个哲学成为我们的核心基础Synopsys对此GuideWare™方法,全面的规则集我们内部开发设计团队加速线头工作流跟进和推动他们的设计在终点线,每一次。领先的半导体公司广泛采用我们的指导规则集是一个证明方法的持续成功。
在这个产品毛羽系列的第2部分,我们将深入研究导致了《创世纪》的多个设计挑战Synopsys对此GuideWare汽车和航空航天应用,涉及设计问题,可以确定使用Synopsys对此GuideWare-encapsulated在早些时候在RTL级Synopsys对此VC SpyGlass线头而造成不必要的迭代合成或逻辑等价之巅,最后,突出一些高级的问题可以使用Synopsys对此VC望远镜捕获功能线头分析。
目标问题:Synopsys对此GuideWare击中要害
假设你正在构建一个星球大战乐高集。认为GuideWare方法基地乐高块之前,您需要使用一开始你开始添加更多的建造结构。从那时起,用户可以自由定制的彩色乐高块他们选择下一步加强基础结构。同样,所有技能组合的用户可以修改和构建自己的线头方法论上的推荐Synopsys对此GuideWare集,利用行业最全面的知识库设计专业知识和最佳实践,使指定的扩展。
通过设计一个可信的方法,我们终于有一个彻底的,循序渐进的产品毛羽尽快检查过程,客户可以使用RTL代码编写。这种方法与规则集文件成为一个团队的关键框架在设计执行一致的风格,同时加速运行时多核设计执行。
不同的应用程序,如汽车、航空、需要特定的产品毛羽因其独特的设计需求。例如,设计针对ISO 26262的汽车应用程序需要确保没有逻辑堵塞或大型mux推理或延迟使用的设计,这是不好的行为。汽车设计师高度喜欢模块化和可重用的设计方法,以及我们GuideWare线头汽车有助于实现这一目标。
同样,设计有军事和航天作为终端用户应用程序,通常的目标- 254认证,需要确保设计更安全对时钟和复位推理和它的最终用途。例如,缓冲或封闭的时钟不推荐使用,和一个干净的和结构化的时钟/重置树为一个安全的设计是至关重要的。设计空白如浮动销,死代码、寄存器,以及其他可能导致严重的障碍- 254遵从性目标。因此,GuideWare线头方法论作为一个可取之处,帮助设计师设计的第一个去。虽然Synopsys对此继续为保证开发产品毛羽预定义规则集和汽车应用中,值得注意的是,用户可以利用现有的ISO 26262和规则集- 254除了现有GuideWare规则集来解决汽车和军事应用公司成就我们不能掉以轻心。
采用“左移位”识别方法,Synopsys对此VC Spyglass线头利用一致的语言构建支持Synopsys对此设计编译器®和Synopsys对此形式解决方案,以及部署可靠的语言结构在这些技术的实现。与Synopsys对此VC SpyGlass线头,设计师可以识别复杂的验证问题等价性检查早在RTL阶段期间,减少下游阶段迭代。我们的方法还提供了专门的规则集simulation-synthesis不匹配。
超出了普通:功能性线头分析
功能验证的目的是找到最大的问题尽可能在开发过程的早期。语义和语法检查在修复发挥重要作用的可移植性的挑战。
在Synopsys对此,我们努力利用我们产品毛羽专业知识的深度和广度超越传统的产品毛羽的方法包括功能性产品毛羽检查。随着Synopsys对此VC SpyGlass线头,设计师们获得一个独特的按钮操作的流程聪明,快,更深层次的功能性线头分析。用户不再需要提供复杂的约束或在形式验证专家;相反,他们可以依靠我们的无缝混合流加速RTL签收。Synopsys对此VC望远镜利用本地Synopsys对此VC正式™技术,提供一个全面的、易用、低噪声方法解决RTL设计问题,如宽度不匹配的约束检查,从而确保高质量的RTL较少但有意义的行为。
例如,像DeadCode关键检查,用于识别不可到达的RTL部分,和FSM活锁检查无限等待在多个州和不能被传统的产品毛羽技术;然而他们可以使用Synopsys对此VC望远镜功能线头技术加以解决。容易调试功能,如波形查看器和原理图查看器详细注释进一步减少设计验证时间。此外,代码复杂性仪表盘给管理团队估计RTL的复杂性。这些独特的特性为设计师提供急需的可见性的潜在错误之前在下游阶段成为严重的问题。
聪明、更快、更深层次的RTL签收:下一代的线头技术
不可否认的是,产品毛羽使生活更容易为设计师提供的代码更健壮,更适合下游验证和实现。Synopsys对此,我们自豪地看到我们的坚定承诺帮助客户发现错误和其他设计错误开创了早些时候产品毛羽的前进。Synopsys对此VC小望远镜,下一代RTL平台签收,包括疾病预防控制中心、RDC,和皮棉技术,已经被广泛采用,并帮助企业意法半导体实现快4倍CDC / RDC验证用VC望远镜技术。
今天,Synopsys对此GuideWare方法和功能线头流利用本地Synopsys对此VC正式技术在VC SpyGlass线头已经成为基本的设计方法在行业领先的ASIC / SoC公司和已经广泛采用领先的半导体公司。刚开始他们的芯片设计过程的新客户选择VC望远镜技术作为他们的第一选择,获得一个快速启动技术,本质上要求VC SpyGlass线头RTL流的一部分。
与前20名半导体客户我们的经验帮助我们匹配最新的行业标准和制定全面的RTL签收产品毛羽的工具,同时提供无与伦比的设计覆盖的深度和广度的各种RTL场景和编码风格。
请继续关注本系列的最后一部分,我们将分析如何集成产品毛羽的机器学习和RCA功能可以更好地帮助设计师实现显著缩短周转时间以及我们看到智能产品毛羽在未来几年。
如果你错过了它
补上其他相关的博客文章:
