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://matjournals.net/engineering/index.php/RTSST/article/view/1864. Acesso em: 16 apr. 2026.