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

 

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


Автор: Хаханов В.И., Егоров А.А., Зайченко С.А., Обризан В.И., Каминская М.А.

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

діагностування, диагностирование ; верифікація, верификация ; цифрові системи, цифровые системы, digital system ; математичні моделі, математические модели, mathematical models

- Анотація:

Предлагается математическая модель верификации и диагностирования цифровых систем на кристалле

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

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

  • Праці співробітників ХНУРЕ // Зайченко Сергій Олександрович, Зайченко Сергей Александрович, Zaychenko Sergiy Olexandrovych
  • УДК // Обладнання для обробки даних
  • Праці співробітників ХНУРЕ // Хаханов Володимир Іванович, Хаханов Владимир Иванович, Hahanov Volodymyr Ivanovych
  • УДК // Числові методи обернення матриць



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