搜索关键词 形式化验证
AI & Enterprise
NVIDIA将Vera CPU导入下一代芯片设计流程，携手Cadence、Synopsys优化核心EDA应用
NVIDIA表示，已将Vera CPU用于加速下一代CPU和GPU的设计与验证流程，并正与Cadence、Synopsys共同优化核心EDA应用。根据早期测试结果，验证、仿真等关键工作负载性能最高可达1.5倍。公司称，Vera已被引入下一代CPU和GPU开发相关的EDA流程，以期提升设计验证效率并加快产品开发进度。
Industry
NVIDIA将Vera CPU导入芯片设计流程，提速下一代芯片研发
NVIDIA宣布，已将自研Vera CPU引入下一代芯片设计流程，并与Cadence、Synopsys联合优化关键EDA应用。测试显示，在Cadence Jasper和Synopsys VCS上，Vera CPU在相同核心数条件下可使部分工作负载性能最高提升1.5倍，有助于提升逻辑仿真和验证环节效率，缩短研发周期。
Crypto
Ripple推进XRPL基础设施升级：量子安全、链上借贷与AMM v2并进
XRP Ledger（XRPL）正加快基础设施升级，重点推进量子安全路线图、原生链上借贷协议、AI支持的Red Team（AI红队）、形式化验证以及AMM v2改造。Ripple表示，量子安全部署的目标节点设在2028年；借贷协议已进入标准提案与投票流程，AMM v2则瞄准提升资本效率。
