近几周,硅芯片和系统设计领导者 Synopsys 推出了一系列新的平台和工具,这些工具属于其硬件辅助验证 (HAV) 和虚拟原型设计产品组合,旨在简化工作流程,加快各个市场中芯片、系统和软件的上市时间。Synopsys 推出了最新的 HAPS 原型设计系统和 ZeBu 仿真系统 - HAPS-200 和 ZeBu-200,这些系统采用了 AMD 最新的 Versal Premium VP1902 自适应 SoC,能够提供更大的容量和更好的性能、编译时间和调试功能。就在几天前,该公司还推出了 Arm 硬件上的 Virtualizer 原生执行系统,这是一套全面的虚拟化套件,支持在云端或本地运行的 Arm 服务器硬件上进行 Arm 设备的建模、仿真、调试和分析。
搭载 AMD 最新技术的 Synopsys HAPS-200 和 ZeBu-200
最新的 HAPS-200 原型设计和 ZeBu-200 仿真系统基于新的 Synopsys 仿真和原型设计 (EP-Ready) 硬件构建,面向领先的芯片和系统设计师及架构师。虽然这些系统有一些基本的共同点,但每个系统都针对特定工作负载进行了优化 - 无论是原型设计还是仿真,与前代相比都提供了显著增加的容量和更高的性能,以加快当今更大更复杂的芯片、系统和软件的开发。HAPS-200 提供全面的原型设计功能,支持早期软件开发和验证,最终为用户提供更好的硬件-软件集成。而 ZeBu-200 则用于广泛、丰富的仿真,可对复杂芯片和 SoC 设计进行全面验证,并具有强大的调试功能。
"随着行业芯片门数接近千亿级,SoC 和多芯片解决方案的软件代码行数达到亿级,先进设计的验证带来了前所未有的挑战," Synopsys 首席产品管理官 Ravi Subramanian 表示。"通过与 AMD 的深度合作,我们的新系统在提供最高 HAV 性能的同时,还在原型设计和仿真使用之间提供了极大的灵活性。行业领导者正在采用 Synopsys EP-Ready 硬件平台进行从硅到系统的验证和确认。"
新的 HAPS-200 和 ZeBu-200 是互补的系统,但各有所长。HAPS-200 经过更新和增强,配备更强大的平台硬件,在硅前硬件调试方面的性能约为公司上一代系统的 4 倍。值得注意的是,HAPS-200 仍然可以与上一代系统集成。事实上,它利用了现有的 HAPS-100 生态系统,并支持 HAPS-200/100 混合配置。HAPS-200 可以从单个 FPGA 扩展到多机架配置,容量高达 108 亿门。
Synopsys ZeBu-200 仿真系统也进行了更新和升级,支持高达 154 亿门的设计容量,运行时性能比上一代 ZeBu EP2 提高了一倍。ZeBu-200 还提供更快的编译时间和高达 8 倍的调试带宽。Synopsys 表示,ZeBu-200 每个模块提供高达 200GB 的调试跟踪内存,并改进了作业调度和重定位功能。所有这些本质上都意味着缩短了周转时间并提高了开发效率 - 这是所有芯片制造商迫切需要的。在将任何芯片设计送往晶圆厂之前,都需要进行广泛的认证和测试 - 重新制作芯片的成本很高。HAPS 和 ZeBu 有助于在投入生产之前确保最佳质量。
使用 Virtualizer 技术加速 Arm 软件定义产品
Synopsys 不仅仅关注硬件和芯片创新。其新的 Arm 硬件上的 Virtualizer 原生执行系统将为软件开发带来与 HAPS 和 ZeBu 系统在原型设计和仿真方面同样的效果。Arm 上的 Synopsys Virtualizer 原生执行系统将通过提高利用 Arm 架构和指令集构建软件定义产品的团队的能力和生产力,有效加速边缘设备的软件开发。众所周知,Arm 在汽车、移动、高性能计算 (HPC) 和物联网市场几乎无处不在。
"软件定义的产品正在推动从硅到系统的产品开发重新设计," Synopsys 首席产品管理官 Ravi Subramanian 表示。"Arm 上的 Virtualizer 原生执行通过为基于 Arm 的边缘和高性能计算应用启用新的敏捷软件开发方法,加速了硬件/软件协同设计。"
在当前的 AI 时代,在几乎每个设计和开发阶段的这种性能提升对于芯片、系统和平台设计师来说都是保持竞争力、减少周转时间并帮助加快上市时间的关键。从 NVIDIA 和 AMD 到较小的初创公司,许多公司都承诺每年更新某些新产品。对于任何科技公司来说,这都是一个很高的要求,而 Synopsys 提供的这些工具在当前环境下几乎是实现这些目标的先决条件。芯片和系统变得越来越复杂,而具有设计和构建它们的经验和专业知识的人才短缺。更快、更强大、更智能的工具对于确保质量和最佳上市时间至关重要。
Synopsys HAPS-200 原型设计系统和 Arm 硬件上的 Virtualizer 原生执行套件现已推出。不过,Synopsys ZeBu-200 仿真系统目前仅供早期用户使用。
好文章,需要你的鼓励
Roig Arena 将于 2025 年 9 月在瓦伦西亚开业,借助 Extreme Networks 的 6GHz Wi-Fi 与数据分析技术,实现无缝运营与个性化观众体验,打造全天候活动中心。
这项研究首次系统研究了大语言模型在表达不确定性时的"忠实度"问题,发现它们往往在不确定时仍使用肯定语言,导致用户过度信任。研究团队提出了MetaFaith方法,通过激发模型的"元认知"能力,使其能更诚实地表达不确定性。在14种模型和10个数据集的测试中,MetaFaith将忠实度提升了高达61%,且83%的情况下被人类评为更可靠。这一突破对构建更值得信任的AI系统具有重要意义。
OpenMamba 是一款意大利独立滚动更新的 Linux 发行版,基于 Fedora 工具构建,提供 KDE Plasma 与 LXQt 桌面。它采用最新组件和标准打包工具,运行稳定且易用,适合规避主流系统限制的用户。
这项研究提出了强化蒸馏(REDI)框架,创新性地利用大型语言模型生成的正确和错误推理过程进行训练。传统方法仅使用正确样本,浪费了包含宝贵信息的错误样本。REDI采用两阶段方法:先用正确样本建立基础,再通过非对称加权的目标函数利用错误样本进一步优化。实验表明,仅用131k个公开数据样本训练的Qwen-REDI-1.5B模型在MATH-500等基准上达到83.1%准确率,与使用800k专有数据训练的同类模型相当或更优,为小型模型离线学习复杂推理能力提供了高效途径。