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

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

芯片流量拥塞如何解决？片上网络设计与验证全解析

随着AI加速器和多裸片架构的快速发展，片上网络（NoC）已从简单的布线结构演变为复杂的分层数据管理系统。核心挑战包括：相干与非相干流量的验证、跨裸片互连的多物理场仿真（热耦合、串扰、电磁干扰）、形式化验证在死锁检测和协议...