Рассмотрены современные тенденции в области автоматизированной разработки аппаратного обеспечения, в частности разработки цифровых систем с использованием программируемых логических интегральных схем на примере вентильних матриц, программируемых пользователем. Предложен модельный метод разработки, в котором использована алгебраическая модель спецификаций дизайна, требований и бинарного кода для применения формальных методов верификации, модельного тестирования и методов алгебраической сопоставления. В качестве спецификаций алгебраической модели аппаратного обеспечения служит алгебра поведений, определенная на множестве действий и поведений.

• Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)
• Песчаненко Володимир Сергійович (фізико-математичні науки)
• Харченко Вячеслав Сергійович (технічні науки)
• Харченко Валентина Сергіївна (технічні науки)
• Харченко Віталіна Сергіївна (біологічні науки)
• Волков Владислав Анатолійович (фізико-математичні науки)
• Волков Вадим Анатолійович (сільськогосподарські науки)
• Волков Вадим Анатолійович (фізико-математичні науки)
• Волков Валерій Андрійович (технічні науки)
• Одарущенко Олег Миколайович (технічні науки)

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