上海高性能集成电路设计中心

本发明公开了一种缓存一致性事务异常溯源的触发方法及系统。方法包括：获取缓存一致性请求、悬挂缓冲标识和一致性消息流水标识，缓存一致性请求至少携带内存地址以及请求类型；将当前系统时刻作为请求时间戳，集合请求类型、处理器核心编号以及芯片编号生成全局事务标识符；在事务记录表、监测映射表以及事务计分板中分别执行事务建档，封装缓存一致性请求并解析缓存一致性请求报文，在事务计分板中提取第一类比对数据，与缓存一致性请求报文中携带的第二类比对数据逐项比对；比对异常时触发事务异常溯源流程。本发明在多芯片多核互联架构下搭建硬件原生事务监测链路，依托全局事务标识实现一致性协议违例实时捕获与故障链路可视化追溯。

本申请实施例公开了一种FPGA原型验证平台的同构逻辑复用方法、装置、设备。该方法包括：在系统级跨片布线阶段获取目标平台中多个同构逻辑实例的初始跨片布线约束；基于预设的信号映射规则对初始跨片布线约束进行重构以生成目标跨片布线约束；基于目标跨片布线约束将单一同构逻辑实例的单片内部布局布线结果复用至多个同构逻辑实例。本申请通过重构跨片互联约束解耦了单实例内部布局布线与系统级连接的绑定关系，避免了重复布局布线，显著降低了综合时间与资源消耗，提升了大规模集成电路验证环境的构建效率。