Механизм ассерций для функциональной верификации проектируемых цифровых систем / В.И. Хаханов, А.А. Егоров, С.А. Зайченко и др. // Автоматизированные системы управления и приборы автоматики. – 2005. – №Вып. 131. – С.147–157.
Складова документа:Шифр: 681.5(06) А 22
Автоматизированные системы управления и приборы автоматики : всеукр. межвед. науч.-техн. сб. Вып. 131 / МОН Украины, Харьк. нац. ун-т радиоэлектроники; редкол.: В. В. Семенец ( гл. ред. ) и др. – Харьков : ХНУРЭ, 2005. – 195 с. – 15,00
Анотація:
Предлагается математическая модель верификации и диагностирования цифровых систем на кристалле
Тема:
- УДК
- 681.3 Обладнання для обробки даних
- 519.613 Числові методи обернення матриць Ключові слова
- математичні моделі, математические модели, mathematical models
- цифрові системи, цифровые системы, digital system
- верифікація, верификация
- діагностування, диагностирование ХНУРЕ. Праці співробітників
- Хаханов Володимир Іванович, Хаханов Владимир Иванович, Hahanov Volodymyr Ivanovych
- Зайченко Сергій Олександрович, Зайченко Сергей Александрович, Zaychenko Sergiy Olexandrovych