Первая из серии книг по автоматизации проектирования вычислительных систем, выпускаемой в США. В книге рассматриваются моделирование логических сетей, компоновка логических структур на различных конструктивных уровнях, рав-мещение элементов конструкции и трассировка многослойных печатных плат.
Книга рассчитана на студентов вузов, изучающих методы проектирования ЭВМ, и может быть полезна специалистам,' занятым разработкой логических структур 'и аппаратных средств вычислительных машин.
ОТ РЕДАКТОРА ПЕРЕВОДА
Автоматизация проектирования имеет двадцатилетнюю"^ историю и сегодня оказывает существенное влияние на технологию разработки цифровых систем. Однако имеющиеся публикации по этому предмету не могут полностью удовлетворить потребности специалистов. Рассеянные по научным журналам статьи.по отдельным вопросам автоматизации не позволяют увидеть общую картину состояния предмета. Сегодня, когда осуществляется переход от автоматизации отдельных этапов проекта к созданию систем автоматизации проектирования, особый интерес представляют обзорные публикации, в известном смысле суммирующие накопленный опыт.
Перед Комиссией по автоматизации проектирования американского Института инженеров по электротехнике и радиоэлектронике (IEEE) была поставлена задача организовать издание серии книг по автоматизации проектирования, содержащих общий обзор основных проблем и важнейшие результаты, достигнутые при их решении. Пока изданы две книги этой серии, и мы предлагаем вниманию читателей русский перевод первой из них1).
Книга посвящена синтезу логических схем и их моделированию, вопросам компоновки, размещения и трассировки, а также генерации тестов. В связи с тем что проблематика синтеза логических схем и генерации тестов достаточно полно отражена в отечественной и ранее изданной переводной литературе, при переводе соответствующие главы были опущены.
Вторая книга серии будет развивать тематику автоматизации применительно к более высоким уровням проектирования. В ней найдут отражение проблемы моделирования цифровых систем на
•! ? издательстве сМир» готовится к печати перевод второй книги — igjtal System Design Automation. Languages, Simulation'and Data Base», i-, Computer Science Press, 1975.
ОГЛАВЛЕНИЕ
От редактора перевода ..... ................. 5
Из предисловия к американскому изданию............ 7
Глава 1. Введение........................ 11
1.1. Цели и использование автоматизации проектирования . . 11
1.2. Эволюция..................... 14
1.3. Проектирование вычислительных систем........ 23
Глава 2. Моделирование на уровне логических элементов...... 34
2.1. Введение........:............ . 34
2.2. Процесс логического моделирования.......... 36
2.3. Построение логической модели . •............ 45
2.4. Выполнение моделирования.....,......... 61
2.5. Моделирование неисправностей............. 74
2.6. Специальные методы моделирования.......... 82
2.7. Пример системы моделирования........... 88
2.8. Выбор метода моделирования............. 98
Глава 3. Компоновка и выбор конструктивных единиц....... 105
3.1. Введение....................... 105
3.2. Соотношение между конструктивной базой ЭВМ и методами
технического проектирования............. 106
3.3. Графотеоретическое представление результатов логического проектирования................'. . . . 108
3.4. Стандартная библиотека сменных блоков........ 113
3.5. Проблема компоновки по конструктивным единицам . . . 119
3.6. Задача выбора.................... 135
3.7. Нерешенные проблемы и заключительные выводы .... 143
Глава. 4. Методы размещения.....'............. 147
4.1. Введение....................... 147
4.2. Постановка задачи'размещения и модели теории графов . . 148
4.3. Правила межсоэдинений............... 154
4.4. Математические задачи, связанные с размещением . . . 156
4.5. Конструктивные методы с первоначальным размещением . 161
4.6. Итеративное размещение с улучшением качества .... 183
4.7. Методы ветвей и границ................ 205
4.8. Заключительные замечания.............. 213
Глава 5. Трассировка « , , , »................. 226
5.1.-Введение....................... 226
5.2. Определение перечня соединений............ 230
5.3. Размещение по слоям................. 240
5.4. Определение порядка последовательности обхода .... 254
5.5. Трассировка проводников............... 258
5.6. Заключительные- комментарии............. 277
Цена: 150руб.
