To activate the inter-clock domain checking:
In SmartTime, from the Tools menu choose Options. The SmartTime Options dialog box appears (as shown below).
In the general category, check the Include inter-clock domains in calculations for timing analysis.
SmartTime Options Dialog Box
3. Click on OK to save the dialog box settings.