1 Функциональный метод анализа самосинхронных схем любого размера Плеханов Леонид Петрович Институт проблем информатики РАН (ИПИ РАН)

Презентация:



Advertisements
Похожие презентации
И. А. Соколов, Ю. А. Степченков, Ю. В. Рождественский, Ю. Г. Дьяченко, Учреждение Российской академии наук Институт проблем информатики РАН ( ИПИ РАН )
Advertisements

Дипломный проект « Математическое моделирование и анализ характеристик системы частотной автоподстройки частоты при совместном действии сигнала и шума.
ССОД НГТУНГТУ Метод существенных путей Для того, чтобы неисправность была обнаружена на внешнем выходе объекта, необходимо и достаточно, чтобы 1.неисправность.
9 класс Урок 4 Матвеева В.П.. Постановка задачи Построение алгоритма Составление программы на языке программирования О т л а д к а и тестирование программы.
Оптимизация маршрута топологического проектирования микропроцессора КОМДИВ64-РИО А.О. Власов, Б.Е. Евлампиев, П.Г. Кириченко, А.А. Кочнов, А.А. Поминова.
Логические схемы в устройстве компьютера. Шкулёва Мария Вячеславовна 2008г.
Основы теории управления Структурные схемы. Способы объединения звеньев W(s) Основными элементами структурных схем являются следующие: Звено с одним входом.
ЦИФРОВОЙ ВОЛЬТМЕТР НА ОСНОВЕ АНАЛОГО-ЦИФРОВОГО ПРЕОБРАЗОВАТЕЛЯ Автор Говердовский Андрей Дмитриевич Москва, лицей 1581, при МГТУ им. Н.Э. Баумана Гриднев.
Компьютерная электроника Лекция 20. Усилители. Усилители Усилителем называется устройство, с помощью которого путем затрат небольшого количества энергии.
Адрес : Институт проблем информатики РАН, ул. Вавилова, д. 44, корпус 2, , Москва, Россия Телефон: 7 (495) Fax: 7 (495)
ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ РАБОТЫ ПАССИВНОЙ, ОДНОПОЗИЦИОННОЙ СИСТЕМЫ ОПРЕДЕЛЕНИЯ КООРДИНАТ ИСТОЧНИКА РАДИОИЗЛУЧЕНИЯ НА ПЕРЕСЕЧЕННЫХ НАЗЕМНЫХ ТРАССАХ.
Система управления вакуумными печами. Общий обзор проблемы Устаревшее электронное оборудование Устаревшее электронное оборудование.
1 Тема 1.7. Алгоритмизация и программирование Информатика.
Введение в автоматное программирование А. А. Шалыто Санкт-Петербургский государственный университет информационных технологий, механики и оптики 2009 г.
Функциональное проектирование ИС. Декомпозиция всей системы на некоторое множество иерархически подчиненных функций. Основные идеи структурного анализа.
ОПТИМАЛЬНОЕ НЕПРЯМОЕ УПРАВЛЕНИЕ ЛИНЕЙНОЙ ДИНАМИЧЕСКОЙ СИСТЕМОЙ Белорусский государственный университет Факультет прикладной математики и информатики Кафедра.
Лекция 5 План лекции 5 Z-преобразование и его свойства Представление ЛПП-систем в Z-области Соединение ЛПП-систем Рекурсивные и нерекурсивные фильтры определение.
1 Реинжиниринг бизнес процессов Управления проектами при подготовке и реализации проекта реструктуризации предприятия.
Исследовательский центр «Бреслер» Современная защита и автоматика управления выключателем Докладчик:Подшивалин Андрей Николаевич, заведующий.
Кулешова Ольга Владимировна, 2006 год Логические основы информатики логические элементы компьютера.
Транксрипт:

1 Функциональный метод анализа самосинхронных схем любого размера Плеханов Леонид Петрович Институт проблем информатики РАН (ИПИ РАН)

2 Содержание Введение Метод анализа Анализ схем нижнего уровня Иерархический анализ Заключение

3 Введение Самосинхронные схемы (СС-схемы): Это схемы, правильное функционирование которых не зависит от выходных задержек элементов (вентилей) Главные свойства СС-схем: - полное отсутствие состязаний, - отказобезопасность - останов при большинстве отказов (выходных константных залипаний).

4 Введение Практические следствия свойств: - предельно широкий диапазон правильной работы (по температуре и напряжению питания) - удобство создания надёжных схем (диагностика неисправностей, самотестирование и т. п.) - повышенный выход годных чипов и другие

5 Введение Проблемы проектирования и существующие методы Основная проблема – вычислительные затраты: необходимость проверки всех реальных состояний схемы и переходов между ними Событийные методы (событие – переключение выхода каждого элемента): - схема замкнута - проблема полноты анализа не упоминается - полный иерархический анализ не виден Методы функционального подхода: - схема разомкнута - полнота встроена в метод - возможность полного иерархического анализа

6 Метод анализа Типовой интерфейс разомкнутой СС-схемы Сигналы: БС – бистабильные, ПФС–парафазные со спейсером, У – управляющие, И – индикаторные. ЭТАПЫ АНАЛИЗА: 1.Анализ схем нижнего уровня (небольшого размера) 2.Иерархический анализ (любого размера)

7 Метод анализа ЗАДАЧИ АНАЛИЗА на всех этапах: 1. Проверка правильности соединений и значений сигналов 2. Проверка индикации сигналов в каждой фазе работы (рабочей и спейсерной) 3. Анализ состязаний в каждой фазе 4. Расчёт данных для следующего верхнего уровня иерархии (списки индикации и дисциплина)

8 Анализ схем нижнего уровня Описание схем – логические функции Проверка индикации сигналов Прямой метод: - имитация залипания, - расчёт выходных фазовых сигналов, - сравнение с нормой.

9 Анализ схем нижнего уровня Анализ состязаний (на основе свойств монотонных логических функций) Для каждого элемента: а) приведение функции выхода к изо-переменным, б) получение проверочных функций - изотонной - антитонной - обращающейся в нуль, в) анализ проверочных функций.

10 Иерархический анализ Описание схем – структурное (фрагменты с типовым интерфейсом и атрибутами, взаимосвязи фрагментов) Проверка индикации сигналов - получение списков индикации на фазовых выходах фрагментов, - проверка присутствия сигналов в выходных списках.

11 Иерархический анализ Анализ состязаний (структурный метод) Источник состязаний – взаимодействие БС-сигналов фрагментов Соединение БС-сигналов двух фрагментов (Y 1,Y 2 ) – БС-сигналы, A, B – разрешающие У-сигналы (фазовые) Условие проверки – блокировка входов сигналом B на период изменения сигналов (Y 1,Y 2 )

12 Иерархический анализ Анализ состязаний (структурный метод) Варианты соединений 1.Непосредственно A и B (нет W 1 и W 2 )(+) 2.Задержка в цепи A (есть W 1, нет W 2 )(+) 3.Задержка в цепи B (нет W 1, есть W 2 )(--) 4.Обратная связь: A от последователя B (не показано)(+)

13 Заключение Впервые предложен законченный метод анализа самосинхронных схем, основанный на функциональном подходе. Впервые предложен метод иерархического анализа СС-схем. Метод позволяет решить одну из главных проблем проектирования СС-схем – анализ схем любого размера.