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

Зайченко, С. А.; Лештаев, П. В.; Гуреев, Б. Н.; Шляхтун, М. М.

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

dc.contributor.author	Зайченко, С. А.
dc.contributor.author	Лештаев, П. В.
dc.contributor.author	Гуреев, Б. Н.
dc.contributor.author	Шляхтун, М. М.
dc.date.accessioned	2017-06-13T15:44:36Z
dc.date.available	2017-06-13T15:44:36Z
dc.date.issued	2015
dc.description	Рассматривается проблема обеспечения надежности функционирования пересечений независимых тактовых доменов в моделях цифровых систем на кристаллах. Предлагается подход к организации процесса верификации, ориентированный на автоматизацию статической проверки правил на топологии, обнаруживающих типовые ошибки проектирования.	uk_UA
dc.identifier.citation	Зайченко С.А. Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах / С. А. Зайченко, П.В. Лештаев, Б.Н. Гуреев, М. М. Шляхтун // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2015. – Вып. 170. – С. 4–13.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/3873
dc.language.iso	ru	uk_UA
dc.publisher	Научно-технический журнал : Автоматизированные системы управления и приборы автоматики	uk_UA
dc.subject	кристалл	uk_UA
dc.subject	домен	uk_UA
dc.title	Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах	uk_UA
dspace.entity.type	Publication