Kategoria BISAC: Computers >> Logic Design

Deep Sub-Micron (DSM) processes present many changes to Very Large Scale Integration (VLSI) circuit designers. One of the greatest challenges is crosstalk, which becomes significant with shrinking feature sizes of VLSI fabrication processes. The presence of crosstalk greatly limits the speed and increases the power consumption of the IC design.

This book focuses on crosstalk avoidance with bus encoding, one of the techniques that selectively mitigates the impact of crosstalk and improves the speed and power consumption of the bus interconnect. This technique encodes data before...

Power consumption of VLSI (Very Large Scale Integrated) circuits has been growing at an alarmingly rapid rate. This increase in power consumption, coupled with the increasing demand for portable/hand-held electronics, has made power consumption a dominant concern in the design of VLSI circuits today. Traditionally, dynamic (switching) power has dominated the total power consumption of an IC. However, due to current scaling trends, leakage power has now become a major component of the total power consumption in VLSI circuits. Leakage power reduction is especially important in...

This book constitutes the refereed proceedings of the 17th International Symposium on Practical Aspects of Declarative Languages, PADL 2015, held in Portland, OR, USA, in June 2015.

The 10 revised papers presented were carefully reviewed and selected from numerous submissions. The papers cover all forms of declarative concepts, including, functional, logic, constraints, etc.

This book opens the door to a new interesting and ambitious world of reversible and quantum computing research. It presents the state of the art required to travel around that world safely. Top world universities, companies and government institutionsare in a race of developing new methodologies, algorithms and circuits on reversible logic, quantum logic, reversible and quantum computing and nano-technologies. In this book, twelve reversible logic synthesis methodologies are presented for the first time in a single literature with some new proposals. Also, the sequential reversible logic...

Recent advances in semiconductor technology offer vertical interconnect access (via) that extend through silicon, popularly known as through silicon via (TSV). This book provides a comprehensive review of the theory behind TSVs while covering most recent advancements in materials, models and designs. Furthermore, depending on the geometry and physical configurations, different electrical equivalent models for Cu, carbon nanotube (CNT) and graphene nanoribbon (GNR) based TSVs are presented. Based on the electrical equivalent models the performance comparison among the Cu, CNT and GNR based...

VLSI Signal Processing Principles, Practices, and Applications

This comprehensive resource shows how very-large-scale integration (VLSI) technology can be effectively deployed in real-world electronics to meet cost, power, function, and reliability requirements. VLSI Analog Circuits: Algorithm, Architecture, Modeling, and Circuit Implementation, Second Edition, is a textbook for advanced electrical engineering courses that shows, step-by-step, how to analyze and solve practical design problems using VLSI. You will get up-to-date discussions on VLSI passive,...

Moderne elektronische Produkte enthalten Schaltkreise mit Millionen von Transistoren sowie Leiterplatten hochster Packungsdichte. Der Layoutentwurf eines derartigen elektronischen Systems, d. h. die Ubertragung der Schaltung in die konkrete Anordnung von Bauelementen und Leiterbahnen, ist nur noch mit rechnergestutzten Entwurfssystemen moglich, da die Komplexitat bei Handhabung traditioneller Methoden vom Ingenieur nicht mehr uberblickt werden kann. Dieses Buch stellt leicht verstandlich und anschaulich die Wirkungsweisen und die grundlegenden Algorithmen vor, die "unter der Haube" von...

This book introduces new logic primitives for electronic design automation tools. The author approaches fundamental EDA problems from a different, unconventional perspective, in order to demonstrate the key role of rethinking EDA solutions in overcoming technological limitations of present and future technologies. The author discusses techniques that improve the efficiency of logic representation, manipulation and optimization tasks by taking advantage of majority and biconditional logic primitives. Readers will be enabled to accelerate formal methods by studying core properties of logic...