Зведений каталог бібліотек Харкова

 

Сысенко, И. Ю.
    Средства верификации цифровых проектов на основе программируемой логики [Текст] / И.Ю. Сысенко, И.А. Побеженко, В.В. Побеженко, А.А. Егоров // Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. / М-во образования Украины, Харьк. техн. ун-т радиоэлектроники ; редкол.: Семенец В. В. ( гл.ред. ) и др. — Харьков : ХТУРЭ, 1998. — С.36-43.


- Ключові слова:

автоматизоване проектування, автоматизированное проектирование ; тести верифікації, тесты верификации ; цифрові пристрої, ЦП, цифровые устройства, ЦУ ; моделювання, моделирование, modeling, simulation

- Анотація:

Анализируются средства, предлагаемые фирмами-лидерами в области тестирования и верификации проектируемых и имплементируемых цифровых изделий

- Є складовою частиною документа:

- Теми документа

  • УДК // Автомати
  • УДК // Обладнання для обробки даних



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки   Перейти на сайт