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. (May 2025), 1–11.