| Подсистема событийного анализа самосинхронных схем АСПЕКТ |
|
 |
|
|
| Авторы |
| | Рождественский Ю.В. |
| | Морозов Н.В. |
| | Рождественскене А.В. |
| Год публикации |
| | 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 |
