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

Метод комплексної верифікації автоматів з логікою, що програмується, для інформаційно-управляючих систем

В.В. Скляр, В.О. Головир
Анотації на мовах:

Викладено метод комплексної верифікації автоматів з логікою, що програмується, на базі ПЛІС і базується на урахуванні вимог стандартів з безпеки та інтегрує для ПЛІС-проектів відповідні етапи верифікації та їх атрибути.