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

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

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

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