Reddy, K. V. (2025). Formal And AI Hybrid Techniques For Scalable Verification Of Large System-On-Chips. Journal of International Crisis and Risk Communication Research , 170–177. https://doi.org/10.63278/jicrcr.vi.3429