实现快10倍疾控中心调试利用机器学习


多年来,芯片系统(SoC)设计尺寸已经越过billion-gate马克。引入了更高的复杂性在半导体设计交付所需的功能。异步时钟和复位的数量在这些复杂的SoC域越来越严重,导致数以百万计的时钟域交叉(CDC)违反在SoC的水平。这些侵犯……»阅读更多

形式验证保证了毅力探测器降落在火星上


乔Hupcey三世和凯文·坎贝尔安全着陆的宇宙飞船在火星是一个复杂的、高风险的挑战。更糟糕的是,地球的大多数科学有趣的地区被巨石守卫,沟渠,高高的悬崖——土地形成不太欢迎车辆。这样的火星探测器着陆地点:毅力Jezero火山口。这不是一个e……»阅读更多

实现疾病预防控制中心的签收几十亿门设计,分层疾控中心流


在过去的几十年,芯片系统(SoC)设计规模大幅增加,引入了更多的复杂性来提供所需的功能。一个典型的SoC可以有许多复杂的IPs操作在不同的时钟频率,从而压力验证周期。一般来说,设计和验证团队花费越来越多的时间,以确保SoC…»阅读更多

一个集成的电源域和疾控中心验证方法


降低功耗移动和数据中心应用程序来说都是必不可少的。但它是一个挑战来降低功率,最低限度地影响性能。解决方案已经设计分割成多个功率域允许选择性地降低电压水平或关闭电源分区。传统的低功率验证验证只有权力的功能正确性……»阅读更多

驯服Non-Predictable系统


可预见的是半导体系统如何?该行业的目标是创造可预测系统,然而,当吊着一根胡萝卜,提供更快的可能性,便宜,或其他利益,决策者总是决定某种程度的不确定性是十分必要的。理解不确定性至少是知情决策的第一步,但是需要新的工具来评估im…»阅读更多

系统的方法来解决复位挑战在汽车出类拔萃


现代汽车soc通常包含多个异步复位信号,以确保从意想不到的情况和断层系统的功能恢复。这个复杂的重置架构可能会导致一系列新的问题,如复位域交叉(RDC)问题。传统的时钟域和疾控中心验证方法无法识别等关键错误。在本文中,我们提出…»阅读更多

多模时钟域交叉验证使分析效率和准确性


本文展示了如何使用自动模态疾控中心分析详尽的验证中心问题在所有测试和操作模式的SoC多个ip。这种新方法自动合并来自每个模式的所有结果,使问题很容易解释和调试。什么花费了几天的时间,与之前的手动方法现在只需要几个小时。阅读更多,请点击这里。»阅读更多

价值最大化Post-Moore定律


摩尔定律如火如荼的时候,几乎每一个细分市场考虑搬到下一个可用的节点作为主要方式最大化价值。但是今天,每个主要的细分市场是看不同的策略更密切保持一致的个人需求。这种多样性将最终导致疼痛和供应链的机会。芯片开发人员必须做更多的……»阅读更多

消除硅衍生版本与网表疾控中心验证


时钟域交叉(CDC)验证一直是现代芯片设计不可分割的一部分流由来已久。传统的疾病预防控制中心在RTL级验证已经完成。然而,对于先进的设计和复杂流动,存在明显的逻辑优化在RTL综合以及后端流在网表阶段。这要求时钟域交叉验证必须为…»阅读更多

基于约束的验证时钟域交叉


有许多措施日益增长的规模和复杂性的半导体器件:死区,晶体管计数,计数,记忆的大小,数量的并行处理等等。所有这些因素意味着更多的时间花在设计,但他们也在验证产生重大影响。由于几乎所有行业研究显示验证时间和精力的增长速度超过了设计,这impa…»阅读更多

←旧的文章
Baidu