Bandaru, Lata shravya, et al. “Constraint Random Verification of Network Router for System on Chip Applications Using Advanced Verification Methodologies”. International Journal of Computer Sciences and Engineering, vol. 2, no. 2, Feb. 2014, pp. 6-10, https://ijcse.isroset.org/index.php/j/article/view/35.