Читать онлайн «Логическое проектирование СБИС»

!:* VJS>" >/■; л. ; Л" :^L'-* . . '• '" ';''/■?> ■'Щ~- ЛЧ. --и- •■<" л. ■' ::- ' ■. . |> '*! ... . "-if. . . ' :-=. vc-"i^ •"^-. •: ■ £■•"• ■'"\f I- "■• . г N *МЦ* "£? '«VV W:'i "'V V-b-tA; r7'-:tc. ъ* . . --•*. ^;~&. % ~ ~v* IV ^^'r;^'%- . •. ■-. ft. . ■/*& -&-*<. ' ;. . #* p Логическое проектирование СБИС шшшлфжш Ж'Яят-шт м-ш -догм» VLSIOStfttJl mmnm mm m штш К. Киносита, К. Асада, О. Карацу Логическое проектирование СБИС Перевод с японского Д. А. Ковтунова и канд. техн. наук Л. В. Поспелова под редакцией канд. техн, наук Л. В. Поспелова Москва «Мир» 1988 ■ ББК 32. 973. 2 К41 УДК 681. 621. 375 Киносита К. , Асада К. , Карацу О. К41 Логическое проектирование СБИС: Пер. с япон. — М. : Мир, 1988. —309 с, ил. ISBN 5-03-000393-3 Книга является переводом четвертого тома 11-томной серии по микроэлектронике, написанной крупными японскими специалистами. Посвящена новейшим методам автоматизированного проектирования БИС и СБИС, позволяющим получать наилучшие технические характеристики. Основное внимание уделяется математической теории логического проектирования, проблемам упрощения логических функций и языкам описания, которые используются для автоматизации процессов проектирования и моделирования. Рассматриваются способы создания тестов для обнаружения неисправностей и методы создания легкотестируемых схем. Приводятся примеры проектирования БИС и СБИС. Для научных работников и инженеров, проектирующих интегральные схемы, а также студентов соответствующих специальностей вузов. 2403000000-222 RRK 42Q74 2 К 041(01)-88 168"88' Ч' 6 ББК 32,973'2 Редакция литературы по информатике и робототехнике ISBN 5-03-000393-3 (русск. ) © Кодзо Киносита, Куиихиро Асада, Осаму Карацу • Iwanami Shoten Pub- ISBN 4-00-010185-4 (япон. ) L^^ckJI язык, «Мир>, 1988 От редактора перевода К настоящему времени уже появилось немало работ по проектированию сверхбольших интегральных схем (СБИС). Однако книги с такой четкой ориентацией на автоматизированное проектирование, как предлагаемая, пока не было. В ней излагаются принципы логического проектирования СБИС — от схем комбинационного типа, в том числе построенных на программируемых логических матрицах (ПЛМ) и постоянных запоминающих устройствах (ПЗУ), до устройств параллельной обработки типа систолических матриц. Особый интерес для специалистов представляет глава, посвященная языкам описания. В ней достаточно полно представлены язык функционального описания HSL—FX для иерархического проектирования и графический язык SMF, предназначенный для разработки масок СБИС. Излагаются также основные методы логического моделирования и мо< делирования неисправностей как инструмента верификации и синтеза тестов цифровых схем, Кроме того, рассматриваются вопросы, связанные с проектированием легкотестируемых схем. Эта сравнительно новая область проектирования возникла в связи с возрастающей сложностью синтеза тестов для схем высокой степени интеграции. Следует отметить, однако, что она пока находится на самом раннем этапе своего развития, поэтому и охватываемые сю методы проектирования, как указывают авторы, могут служить только основой для дальнейшего развития. Книга представляет интерес для инженеров и специалистов, в сферу деятельности которых входят задачи логического проектирования и контроля работы аппаратуры на СБИС.