how to debug socrates nic400 DRC checks?

When I run the DRC checks on my nic400 μarchitecture I get many errors - but the error messages are very cryptic, like:

1. ERROR:Interfaces: An inconsistency exists between HLS and the uArchitecture regarding the interface "slave_if0"(Protocol:axi4->axi).
ORIGINATOR: DRC_CHECK_SPEC_VS_ARCH_NIC
ELEMENT : slave_if0[SlaveInterface]
ELEMENT PATH: nic400_1 [ConfiguredComponent]/[Specification]/[Interfaces]/slave_if0 [SlaveInterface]

Is there a debug guide I can't find? The TRM has no troubleshooting information.