Книга "Перепроектирование булевых схем" демонстрирует техники, которые позволяют достичь скорости перепроектирования более 95%, что делает возможным использование чипов глубокого субмикронного диапазона в промышленных приложениях. Логический синтез является важной частью современного процесса проектирования цифровых интегральных схем в полупроводниковой промышленности. Эта книга рассматривает технику логического синтеза, называемую "перепроектирование", и ее последние технические достижения в плане возможности перепроектирования. Техника перепроектирования появилась в академических исследованиях с 1993 года, и в настоящее время на рынке нет доступной книги, которая бы систематически и всесторонне обсуждала эту технологию перепроектирования.
Авторы освещают техники логического преобразования, сосредоточившись на перепроектировании. На протяжении многих десятилетий влияние проводки на логические структуры игнорировалось из-за идеализированного взгляда на провода и их незначительной роли в производительности схемы. Однако в современных полупроводниковых технологиях проводка является основным игроком в деградации производительности схемы, и движки логического синтеза могут быть улучшены, чтобы справиться с этим с помощью преобразований, основанных на проводке.
Эта книга знакомит с техниками перепроектирования на основе автоматического тестирования (ATPG), которые в последнее время активно используются в области логического синтеза/верификации проектирования VLSI/SOC. Уникальное всестороннее освещение полупроводниковых техник перепроектирования, написанное ведущими исследователями в этой области. Книга предоставляет полное покрытие перепроектирования от вводного до промежуточного уровня.
Перепроектирование объясняется как гибкая техника для булевого логического синтеза, вводящая концепцию булевого преобразования схем и тестирования на примерах. Читатели могут напрямую применить описанные техники к реальным проблемам проектирования БИС. Основное внимание уделяется методам перепроектирования на основе ATPG, хотя также обсуждаются некоторые не основанные на ATPG методы перепроектирования, такие как граф-ориентированное альтернативное соединение (GBAW) и перепроектирование на основе "набора пар функций, которые должны быть различимы" (SPFD).
Это ценный ресурс для исследователей и аспирантов в области проектирования БИС и СнК, а также инженеров цифрового проектирования, разработчиков ПО EDA и экспертов по автоматизации проектирования, специализирующихся на синтезе и оптимизации логических схем.
В книге исследуются различные методы изменения схемы логического элемента с целью увеличения производительности при использовании в цифровых схемах. Материалы по применению различной техники в области проектирования цифровых систем.
Электронная Книга «Boolean Circuit Rewiring» написана автором Tak-Kei Lam в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781118750131
Описание книги от Tak-Kei Lam
Demonstrates techniques which will allow rewiring rates of over 95%, enabling adoption of deep sub-micron chips for industrial applications Logic synthesis is an essential part of the modern digital IC design process in semi-conductor industry. This book discusses a logic synthesis technique called “rewiring” and its latest technical advancement in term of rewirability. Rewiring technique has surfaced in academic research since 1993 and there is currently no book available on the market which systematically and comprehensively discusses this rewiring technology. The authors cover logic transformation techniques with concentration on rewiring. For many decades, the effect of wiring on logic structures has been ignored due to an ideal view of wires and their negligible role in the circuit performance. However in today’s semiconductor technology wiring is the major player in circuit performance degeneration and logic synthesis engines can be improved to deal with this through wire-based transformations. This book introduces the automatic test pattern generation (ATPG)-based rewiring techniques, which are recently active in the realm of logic synthesis/verification of VLSI/SOC designs. Unique comprehensive coverage of semiconductor rewiring techniques written by leading researchers in the field Provides complete coverage of rewiring from an introductory to intermediate level Rewiring is explained as a flexible technique for Boolean logic synthesis, introducing the concept of Boolean circuit transformation and testing, with examples Readers can directly apply the described techniques to real-world VLSI design issues Focuses on the automatic test pattern generation (ATPG) based rewiring methods although some non-ATPG based rewiring methods such as graph based alternative wiring (GBAW), and “set of pairs of functions to be distinguished” (SPFD) based rewiring are also discussed A valuable resource for researchers and postgraduate students in VLSI and SoC design, as well as digital design engineers, EDA software developers, and design automation experts that specialize in the synthesis and optimization of logical circuits.
