Розглянуто загальні питання логічного моделювання цифрових пристроїв, описано основні види моделювання. Показано, як за допомогою моделювання можна виявляти несправності пристроїв. Надано відомості про основні системи функціонально-логічного моделювання, особливості їх функціонування. Описано системи моделювання низького та високого рівня, показано їх переваги та недоліки. Введено поняття K-значного моделювання, описано математичні моделі на основі K-значного диференціального числення та числові методи, що дозволяють виконувати моделювання на основі K-значного диференціального числення. На прикладах показано можливості запропонованої системи автоматизованого проектування, розглянуто особливості її використання для аналізу працездатності складних обчислювальних пристроїв, виконаних на сучасній елементній базі. Проаналізовано основні збої цифрових пристроїв, пов'язані з різними видами змагань у цих пристроях. З'ясовано можливості систем моделювання з виявлення цих збоїв. Розглянуто найбільш популярну на сучасному етапі систему функціонально-логічного проектування OrCAD, яка призначена для виконання логічного та топологічного проектування цифрових, аналогових і гібридних пристроїв високої складності.

• Леонов Сергій Юрійович (технічні науки)
• Гладких Тетяна Валентинівна (технічні науки)
• Стасюк Олександр Іонович (технічні науки)

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