Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Подсистема событийного анализа самосинхронных схем АСПЕКТ  

Авторы
 Рождественский Ю.В.
 Морозов Н.В.
 Рождественскене А.В.
Год публикации
 2010
УДК
 004.415.2:519.713:004.032.34

Аннотация
 Предметом доклада является метод анализа асинхронных схем на независимость их поведения от задержек логических элементов, построенный на событийных моделях функционирования электронных схем. Схема определяется системой булевых уравнений, удовлетворяющей гипотезе Маллера относительно задержек логических элементов. Предлагаемый метод в теоретической части базируется на диаграммах переходов (метод в глобальных состояниях) с последующим тождественным преобразованием к событийным моделям. Полученные алгоритмы анализа обладают строгой фундаментальностью метода в глобальных состояниях, но не требует полного перебора достижимых состояний схемы. Сложность задачи изменилась с экспоненциальной на полиномиальную. Подсистема АСПЕКТ - это комплекс программ, реализующий событийный метод анализа.
Ключевые слова
 Самосинхронные схемы; событийный анализ; автоматизированное проектирование
Ссылка на статью
 Рождественский Ю.В., Морозов Н.В., Рождественскене А.В. Подсистема событийного анализа самосинхронных схем АСПЕКТ // Проблемы разработки перспективных микро- и наноэлектронных систем - 2010. Сборник трудов / под общ. ред. академика А.Л.Стемпковского. М.:ИППМ РАН, 2010. С. 26-31.
Адрес статьи
 http://www.mes-conference.ru/data/year2010/papers/m10-145-69491.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН