Nagibin, D., Petrenko, A., Davydenko, V., Kotenko, I. and Fedorchenko, E. 2025. Invasive Approach to Verification of Functional and Structural Specifications Implemented in Custom Integrated Circuits. Informatics and Automation. 24, 2 (Apr. 2025), 526-555. DOI:https://doi.org/10.15622/ia.24.2.6.