Для цитирования:

Мельниченко И., Камкин А., Смолов С. Подход к генерации тестов, нацеленных на покрытие кода HDL-описаний аппаратуры, на основе расширенных конечных автоматов. Труды Института системного программирования РАН. 2015;27(3):161-182. https://doi.org/10.15514/ISPRAS-2015-27(3)-12

For citation:

Melnichenko I., Kamkin A., Smolov S. An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2015;27(3):161-182. (In Russ.) https://doi.org/10.15514/ISPRAS-2015-27(3)-12