ANANTHARAJ THALAIMALAI VANARAJ; RESHI RAZDAN. Sub-block Selection Criteria for SEQ Hierarchical Flow-based Formal Verification of Advanced Digital Designs. Recent Trends in Semiconductor and Sensor Technology, [S. l.], p. 1–11, 2025. Disponível em: https://www.matjournals.net/engineering/index.php/RTSST/article/view/1864. Acesso em: 3 aug. 2026.