Введение
Глава 1. Цифровые микроконвейерные схемы и диаграммы решений 11
1.1 Асинхронные схемы 12
1.2 Методы организации квитирования между ступенями асинхронной структуры 15
1.3 Моделирование и оптимизация цифровых схем 25
1.4 Булевы функции и их представления 29
1.5 Диаграммы решений 32
1.6 Постановка задачи 39
1.7 Выводы 40
Глава 2. Моделирование цифровых схем с использованием диаграмм решений различной размерности 42
2.1 Вероятностная модель потребляемой мощности 43
2.2 SP-BDD модель цифровых схем 45
2.3 Моделирование мощности на основе SP-BDD представления 49
2.4 Вероятностная модель потребляемой мощности с использованием SP-BDD представления 51
2.5 SPDD модель цифровых КПОМ схем 64
2.6 Логическое моделирование на основе SPDD 65
2.7 Вероятностная модель потребляемой мощности с использованием SPDD представления 69
2.8 Множественная числовая регрессия. Вычисление количества неопределенных входов для SPDD моделирования 78
2.9 Выводы
Глава 3. Моделирование цифровых схем, спроектированных в базисе стандартных ячеек 90
3.1 Описание алгоритма оптимизации 90
3.2 Постановка задачи 94
3.3 Структурная оптимизация цифровых микроконвейерных схем, спроектированных в базисе стандартных ячеек 94
3.4 Сравнение результатов оптимизации 104
3.5 Оценка результатов оптимизации на основе SPDD ПО3.6 Выводы 112
Глава 4. Моделирование цифровых схем, спроектированных в базисе ПЛИС/СБМК 114
4.1 Постановка задачи 115
4.2 Структурная оптимизация цифровых микроконвейерных схем, спроектированных в базисе ПЛИС/СБМК 115
4.3 Сравнение результатов оптимизации 122
4.4 Оценка результатов оптимизации на основе SPDD 127
4.5 Выводы 129
Заключение 131
Список литературы 1
