[XIF] Assertion a_sleep_inactive_signals fails when X_EXT=1

Placeholder github Source User
2023-06-02T15:48:55Z

## Assertion a_sleep_inactive_signals fails when X_EXT=1

**Component:RTL**

### Steps to Reproduce
1: Use any version after PR #866 is merged
2: Enable X_EXT and try to prove the mentioned assertion in formal