A. T. Vanaraj and R. Razdan, "A Case Study on Formal Sequential Equivalence Checking based Hierarchical Flow Setup towards Faster Convergence of Complex SOC Designs," Journal of Engineering Research and Sciences, vol. 3, no. 8, pp. 21-27, 2024, doi: 10.55708/js0308003.