Bandaru, L. shravya; Sandepudi, V. K.; Sindhuja, C. Constraint Random Verification of Network Router for System on Chip Applications Using Advanced Verification Methodologies. Int. J. Comp. Sci. Eng. 2014, 2, 6-10.