Anantharaj Thalaimalai Vanaraj and Reshi Razdan (2025) “Sub-block Selection Criteria for SEQ Hierarchical Flow-based Formal Verification of Advanced Digital Designs”, Recent Trends in Semiconductor and Sensor Technology, pp. 1–11. Available at: https://matjournals.net/engineering/index.php/RTSST/article/view/1864 (Accessed: 16 April 2026).