NIC400 (FU2) – FMR_ELAB-147 in Formality, can this be waived?

Hi,

I’m seeing multiple FMR_ELAB-147 (Uncompressed RTL interpretation) messages when running Formality on a design using NIC400 (FU2).

The messages point to internal NIC400 files (e.g. nic400_bm0_wr_spi_tt_s1_FU2.v, nic400_bm0_rd_spi_tt_s1_FU2.v). No modification was made to the ARM IP.

In some other IP (e.g. DMA), similar messages were treated as tool limitations and waived. Not sure if this is the same case for NIC400.

Questions:

• Is FMR_ELAB-147 expected for NIC400 FU2?
• Is it safe to waive/filter this message?
• Any recommended Formality settings for NIC400 to avoid this?

Currently the flow also reports link issues, so just want to confirm whether this is something known/waivable or needs further investigation.

Thanks.