Graphical Topology Info Structure for Constrained Random Verification in SoC/Subsystem Tests