中文 英语

FPGA复杂性下的验证有效性:2020 Wilson研究组功能验证研究


在激烈竞争、强劲的市场(如FPGA设计和验证)中,基于良好数据做出明智的决策是成功的关键。在这方面帮助我们的社区是全球威尔逊研究小组功能验证研究背后的动机。我们也利用这些信息来确保我们的研究和开发努力继续提供我们的解决方案。“ 阅读更多

通过统一验证管理解决方案加速SOC验证关闭


系统上片(SOC)设计的功能验证需要在统一的解决方案中连接在一起的最佳工具,以解决指数复杂性挑战。没有单尺寸适合的方法进行验证。复杂的设计需要使用虚拟原型,静态检查,正式分析,仿真,仿真和FPGA原型的组合。所有t的执行......“ 阅读更多

功能验证方法的重要性


良好的功能验证方法对任何半导体设计项目的成功都至关重要。错过或迟来的漏洞会严重损害市场份额、收入和品牌,甚至对知名公司来说也是如此。SoC设计的复杂性以及紧凑的上市时间限制要求验证过程具有高水平的效率。验证功能的方法…“ 阅读更多

变量使安全关键设备验证复杂化


人工智能芯片在汽车和越来越多的航空电子设备中的应用,使得能够满足ASIL-D所有温度和应力要求的先进节点设计成为焦点。设计师应该如何完成这项任务,特别是当这些设备需要比应用程序使用更长的时间时?德赢娱乐网站【官方平台】半导体工程坐下来讨论这些问题与库尔特舒勒,副总裁…“ 阅读更多

Verdi事务调试平台:调试IIP设计和SoC的简化方法


作者:Abhishek Upadhyay,R&D工程师,Synopsys和Kanak Rajput,应用工程师,在开发周期的后期阶段出现的Synopsys设计问题可能非常困难追踪和调试,从而将项目计划造成风险。工程师对似乎是主要设计问题的验证测试并不罕见,只能找到...“ 阅读更多

使用Synopsys验证连续体平台的UFS验证闭合流


这是一个长期的陈词滥调,但是,“没有银弹的功能验证”是真的。没有单一工具或方法可以在大型复杂的半导体设计中找到并击落所有错误。模拟很好地理解,但对于今天的大型社会来说,可以缓慢。仿真硬件快速,但足够昂贵,它通常在验证团队中共享。正式的...“ 阅读更多

SOC设计和IP管理-功能验证的必备条件


作为验证流程的一部分,验证团队根据设计的性质执行不同类型的模拟。仿真包括数字逻辑功能仿真、混合信号功能仿真、功率感知仿真、正式验证运行和门级仿真。为了结束,所有计划的测试必须通过所有四种模拟类型。除了t…“ 阅读更多

为什么IP质量如此难以确定


区分好IP与普通IP和坏IP变得越来越困难,部分原因是它取决于如何和在哪里使用,部分原因是即使是最好的IP在一个系统中也可能比另一个系统更好——即使是在同一厂商开发的芯片中。这是多年来知识产权面临的挑战之一。在许多情况下,无论IP是否具有良好的特征,IP的特征都很差。“ 阅读更多

向验证添加顺序和结构


您无法改善您无法衡量的内容,并且当涉及方法中,测量的概念变得更加困难。在组织内的个人技能,能力和体验水平的概念中增加,这可能影响他们采用某些技术的能力,并且需要相当大的关注。这是诸如能力成熟度模型等概念(cm ...“ 阅读更多

斐波纳契和蜜蜂有共同点:正式的甜蜜点


时光飞逝,OneSpin的假日拼图传统已经进入第三年。2016年12月,OneSpin向世界各地的工程师发起挑战,要求他们使用断言和一个正式的验证工具来解决爱因斯坦之谜。2017年12月,挑战是使用断言建模世界上最困难的数独,并使用正式工具找到解决方案。此外,参与者必须证明……“ 阅读更多

←更老的帖子