Ковальов Євген Вiкторович. Проектування моделей цифрових автоматiв для генерациiї тестiв у середовищi Active-HDL : Дис... канд. наук: 05.13.12 - 2001.