Ivannikov A.D., Stempkovsky A.L. Formalizing the choice of debugging tests in the design of digital microelectronic systems based on checking the performance of the required functions. Russian Microelectronics. 2021. Т. 50. № 7. С. 499-503. DOI: 10.1134/S1063739721070076. ID: 47549667.