上海方宜万强微电子有限公司

本发明涉及芯片验证与芯粒接口技术领域，具体涉及一种UCIe芯粒接口覆盖模型自动生成方法及系统，该方法接收解析被测UCIe芯粒接口实例配置参数得到结构化配置描述；依据该结构化配置描述自适应激活实例相关覆盖维度得到已激活覆盖维度集合及各维度实际取值域；依托预设UCIe规范合法性约束库对已激活覆盖维度的交叉组合执行约束求解，输出合法交叉集合、非法覆盖箱声明集合以及忽略覆盖箱声明集合；最后基于上述集合生成SystemVerilog功能覆盖模型代码。本发明克服了手工编写难以穷举高维交叉组合、VIP覆盖组包含大量虚假目标及自动生成方案缺乏规范级合法性裁剪等问题，实现了在消除虚假覆盖目标的前提下UCIe接口功能覆盖率的真实闭合。

本发明公开一种信用资源依赖死锁验证方法和系统，应用于RTL仿真验证平台中的被测设计，设置控制单元；信用资源依赖死锁验证方法包括：步骤S1，控制单元读取被测设计的配置信息，以及获取被测设计运行时产生的事务信息，基于配置信息和事务信息构建资源依赖图；资源依赖图包括多个节点和连接各节点的有向边；步骤S2，控制单元从资源依赖图中获取循环链路；步骤S3，控制单元持续监控循环链路中各节点关联的事务信息，以获取各事务信息的事务进展，并在所有事务进展均停滞时判定对应的循环链路陷入死锁。本发明通过构建资源依赖图提取循环链路，基于事务进展确定循环链路是否死锁，降低了因正常处理延迟和短时拥塞造成的死锁误报。

本发明提供一种交换芯片信用流控与自适应路由协同调度方法，涉及交换芯片技术领域。包括：从数据面采集实时遥测量并处理为可调导纳图网络参数，包括导纳矩阵端口索引和源汇端口编号；据此构建局部等效导纳图，以物理并行方式计算各节点电压与各支路电流并读出结果及有效性状态信息；根据有效性状态信息约束计算结果，生成候选调度控制量，分别调整信用流控参数与自适应路由参数。有益效果是降低拥塞调度复杂度，提升拥塞趋势响应能力，实现信用流控与自适应路由协同调度，避免多局部控制环独立导致的过度抑制与闭环振荡。