19.4.4.7 Checking IRS Nets for a Given Block

MSVT checks for the separation of IRS nets corresponding to a given block from external nets, per the specified separation criteria. If any of the nets of the design fail to satisfy the separation criteria, then information related to the violating net is listed in the Checking IRS nets for block <block name> section of the report and MSVT treats this as an error. This section is empty if your design does not have any nets violating separation criteria.

MSVT Output Report

The following is an example of this section in which the IRS net PHY_RST_c of the block Block_Cdr_0 is being observed by an external net corresponding to another untrusted logic

Checking IRS nets for block Block_Cdr_0

-----------------------------------------------------------------------------------------------------------------------------------------
Checking IRS nets for block Block_Cdr_0 ...
====================================================================
The following outgoing IRS nets have 0 switches separation since they are connected directly to at least one untrusted logic:
   PHY_RST_c (cell PHY_RST_obuf/U_IOTRI)
   coma_mode_c (cell coma_mode_obuf/U_IOTRI)
-----------------------------------------------------------------------------------------------------------------------------------------