做形式验证的时候怎么debug

第一次作形式验证，诊断后发现需要改的地方不是net而是一个cell。下面是报告，但是现在问题是不知道该怎么debug，看不出来这个cell有什么特殊的地方，因为看教程都是debug的net。求大神指点。感激不尽！
Report: error_candidates
Reference: r:/WORK/rrc2
Implementation : i:/WORK/rrc2
Version: H-2013.03-SP1
Date: Mon Oct 31 22:22:19 2016
**************************************************
Single error detected in implementation.
Recommended error candidate:
CellU231

自己顶一个