Verification methods for complex-functional blocks in CAD for chips deep submicron design standardsVladimir Zolnikov, Konstantin Zolnikov, Nadezhda Ilina and Kirill GrabovyE3S Web of Conf., 376 (2023) 01090DOI: https://doi.org/10.1051/e3sconf/202337601090