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