Anantharaj Thalaimalai Vanaraj; Reshi Razdan. Sub-Block Selection Criteria for SEQ Hierarchical Flow-Based Formal Verification of Advanced Digital Designs. RTSST 2025, 1-11.