Anantharaj Thalaimalai Vanaraj, and Reshi Razdan. “Sub-Block Selection Criteria for SEQ Hierarchical Flow-Based Formal Verification of Advanced Digital Designs”. Recent Trends in Semiconductor and Sensor Technology, May 2025, pp. 1-11, https://matjournals.net/engineering/index.php/RTSST/article/view/1864.