L. shravya Bandaru, V. K. Sandepudi, and C. Sindhuja, “Constraint Random Verification of Network Router for System on Chip Applications Using Advanced Verification Methodologies”, Int. J. Comp. Sci. Eng., vol. 2, no. 2, pp. 6–10, Feb. 2014.