For each non-equivalent point (and a blackbox is considered as 1 point), you can generate a diagnosis report for it with "diagnose" command.
LEC> diagnose top/A/B/C/u_sram -golden
When it's a blackbox, LEC will diagnose and report each and every input pins which are non-equivalent.
Here's the description of "diagnose" command.
<<gate_id> | <instance_pathname> | <pin_pathname>
[-Golden | -Revised]
| -SUMmary [integer][-SOrt <SUpport | SIze>]
Runs diagnosis on a specified compared point. Specify the compared
point by its gate identification number, instance path, or a pin path.
Use this command to determine why the software identified nonequiva-
lence between compared points.
The diagnosis displays all of the non-corresponding support key points
with a list of all likely error candidates from the Revised design. The
list organizes likelihood in descending order with 1.00 being the
greatest possible error candidate.
Use the REPORT ENVIRONMENT command to display the maximum diagnosis
Note: The syntax above assumes you are diagnosing mapped compare points
(where you only need to specify one compare point). When you are diag-
nosing instance/sequential merge nonequivalence, you must specify two
<gate_id> Diagnoses the specified gate.
Note: ID numbers can differ from one version of Confor-
mal to another. Always use the full path in dofiles and
any time you rerun a design with a different Conformal
Diagnoses the specified instance path.