Описано новий метод моделювання режимів ЗВІС і дискретних процесів зі складними часовими характеристиками, який грунтується на розпізнаванні форми хвилі, що реалізується за допомогою методів логічного програмування. Метод використано для побудови експериментальної системи ProWaves у сполученні з мовою VHDL. Систему використано для створення моделей динамічної пам'яті, інтерфейсної частини відеодекодера MPEG, протоколів зв'язку для транспортних систем та інших складних схем і протоколів.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"