| Определение и сравнение М-фактора для устройств с типом, определенным пользователем (GENERIC) |
|
|
| Авторы |
| | Дацук А.М. |
| | Цветков А.В. |
| Год публикации |
| | 2006 |
| УДК |
| | 621.38 |
|
| Аннотация |
| | В статье даются определение и сравнение М-фактора для устройств с типом, определенным пользователем. Сформулировано правило, определяющее поведение алгоритма объединения GENERIC-устройств в параллели. Решения данной задачи будут использованы в программах физической верификации PVS и ASSURA. Использование М-фактора для данных устройств позволяет значительно ускорить процесс отладки в случае ошибки в наборе параллельных устройств. Автоматическое определение М-фактора дает возможность пользователям рассчитывать параметры на его значении. |
| Ключевые слова |
| | М-фактор, программы физической верификации PVS и ASSURA |
| Ссылка на статью |
| | Дацук А.М., Цветков А.В. Определение и сравнение М-фактора для устройств с типом, определенным пользователем (GENERIC) // Проблемы разработки перспективных микроэлектронных систем - 2006. Сборник научных трудов / под общ. ред. А.Л.Стемпковского. М.:ИППМ РАН, 2006. С. 126-129. |
| Адрес статьи |
| | http://www.mes-conference.ru/data/year2006/21.pdf |
