A Model Checking-Based Method of Functional Test Generation for HDL Descriptions - M. S. Lebedev; S. A. Smolov (Труды Института системного программирования РАН, 2018)