Anantharaj Thalaimalai Vanaraj and Reshi Razdan, “Sub-block Selection Criteria for SEQ Hierarchical Flow-based Formal Verification of Advanced Digital Designs”, RTSST, pp. 1–11, May 2025.