1. Наука
  2. Видання
  3. Системи обробки інформації
  4. 8(57)'2006
  5. Метод комплексной верификации автоматов с программируемой логикой для информационно-управляющих систем

Метод комплексной верификации автоматов с программируемой логикой для информационно-управляющих систем

В.В. Скляр, В.А. Головир
Системи обробки інформації. — 2006. — № 8(57). С. 82-84.
УДК 681.3.06
Мова статті: російська
Анотації на мовах:


Анотація: Изложен метод комплексной верификации автоматов с программируемой логикой на базе программируемых логических интегральных схем (ПЛИС), основанный на учете требований стандартов по безопасности и интегрирующий для проектов ПЛИС этапы верификации и их атрибуты.


Інформація про авторів публікації:
Бібліографічний опис для цитування:
Скляр В.В., Головир В.А. Метод комплексной верификации автоматов с программируемой логикой для информационно-управляющих систем. Системи обробки інформації. 2006. № 8(57). С. 82-84.