In contrast to IDF_VIV2-4 which checks XDC information, IDF_VIV2-5 checks placement of logic as actually implemented. Two simultaneous checks are performed. Firstly, a search for adjacent logic from distinct isolation modules is performed. In this context, logic is considered adjacent if the separation between the PUs/tiles containing logic of distinct isolated modules is not composed of a valid fence. Secondly, a check is performed to ensure top-level logic does not contain a potential path from one isolation group to another.
A violation of IDF_VIV2-5 takes two forms:
Tile adjacency violation: partition: <partition name> tile: <tile name> vs partition:
<partition name> tile: <tile name>. Sites: <site name list>.and
Tile occupancy violation: tile: <tile name> is in multiple isolated partitions:
<partition name list>. Sites: <site name list>.Note: Because IDF_VIV2-5 checks the implemented placement
of logic, the results of running IDF_VIV2-5 are only useful if the design has been
implemented. Prior to implementation there is nothing for IDF_VIV2-5 to check, and
therefore the possibility a violation is found is eliminated.