LIVE INDEX / Synopsys
从规格说明到形式化属性:AI工具能否胜任?

从规格说明到形式化属性:AI工具能否胜任?

形式化验证领域长期面临属性编写困难的瓶颈,LLM的出现为自动将规范转化为SVA属性带来了新可能。知识图谱技术的引入提升了属性生成的准确性,可在数分钟内完成原本需数天的工作。然而,AI生成的属性集在结构覆盖上表现较强,但在...

定制HBM业务将如何运作

定制HBM业务将如何运作

HBM4引入了可定制基础芯片(cHBM)的能力,主要面向超大规模云厂商。与标准HBM不同,cHBM允许将内存控制器从主机迁移至基础芯片,从而释放约25%的计算空间并降低整体功耗。定制项目的设计、制造、封装及测试分工因项目...

AI正在重塑IP全生命周期管理模式

AI正在重塑IP全生命周期管理模式

AI正深刻改变芯片IP的开发、验证、发现、授权与支持全流程。从RTL代码生成、测试用例自动化到IP元数据管理,AI显著提升效率,推动可定制IP数量爆发式增长。在商业模式层面,订阅制、按量授权等新型IP授权方式正逐步取代传...