Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів ІнформаціяПоле | Співвідношення | |
Title |
Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах
|
|
Creator |
Зайченко, С. А.
Лештаев, П. В. Гуреев, Б. Н. Шляхтун, М. М. |
|
Subject |
кристалл
домен система |
|
Description |
Рассматривается проблема обеспечения надежности функционирования пересече- ний независимых тактовых доменов в моделях цифровых систем на кристаллах. Предлагает- ся подход к организации процесса верификации, ориентированный на автоматизацию статической проверки правил на топологии, обнаруживающих типовые ошибки проекти- рования. |
|
Date |
2017-06-13T15:44:36Z
2017-06-13T15:44:36Z 2015 |
|
Identifier |
Зайченко С.А. Ключевые правила проектирования для пересечений тактовых доменов в цифровых системах на кристаллах / С. А. Зайченко, П.В. Лештаев, Б.Н. Гуреев, М. М. Шляхтун // АСУ и приборы автоматики : всеукр. межвед. науч.-техн. сб. – Харьков : Изд-во ХНУРЭ, 2015. – Вып. 170. – С. 4–13.
http://openarchive.nure.ua/handle/document/3873 |
|
Language |
ru
|
|
Publisher |
Научно-технический журнал : Автоматизированные системы управления и приборы автоматики
|
|