Публікація:
Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах

Завантаження...
Зображення мініатюри

Дата

2015

Назва журналу

ISSN журналу

Назва тома

Видавництво

Научно-технический журнал : Автоматизированные системы управления и приборы автоматики

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Опис

Рассматривается проблема обеспечения надежности функционирования пересече- ний независимых тактовых доменов в моделях цифровых систем на кристаллах. Предлагает- ся подход к организации процесса верификации, ориентированный на автоматизацию статической проверки правил на топологии, обнаруживающих типовые ошибки проекти- рования.

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

кристалл, домен, система

Бібліографічний опис

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

DOI