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, 1-11. https://matjournals.net/engineering/index.php/RTSST/article/view/1864.