Verification methods for complex-functional blocks in CAD for chips deep submicron design standards - Zolnikov, Vladimir (E3S Web of Conferences, 2023)