一种信用资源依赖死锁验证方法和系统

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