REDDY, Kaushik Velapa. Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips. Journal of International Crisis and Risk Communication Research , [S. l.], p. 170–177, 2025. DOI: 10.63278/jicrcr.vi.3429. Disponível em: https://jicrcr.com/index.php/jicrcr/article/view/3429. Acesso em: 21 nov. 2025.