Публікація: Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах
Завантаження...
Дата
Назва журналу
ISSN журналу
Назва тому
Видавець
ХНУРЭ
Анотація
Опис
Рассматривается проблема обеспечения надежности функционирования пересечений независимых тактовых доменов в моделях цифровых систем на кристаллах. Предлагается подход к организации процесса верификации, ориентированный на автоматизацию статической проверки правил на топологии, обнаруживающих типовые ошибки проектирования.
Ключові слова
кристалл, домен
Цитування
Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах / С. А. Зайченко, П. В. Лештаев, Б. Н. Гуреев, М. М. Шляхтун // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : ХНУРЭ, 2015. – Вып. 170. – С. 4–13.