Kategoria BISAC: Computers >> Logic Design

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...

The Physics of Computing gives a foundational view of the physical principles underlying computers. Performance, power, thermal behavior, and reliability are all harder and harder to achieve as transistors shrink to nanometer scales. This book describes the physics of computing at all levels of abstraction from single gates to complete computer systems.

It can be used as a course for juniors or seniors in computer engineering and electrical engineering, and can also be used to teach students in other scientific disciplines important concepts in computing. For electrical...

Pull back the curtain on making fun and innovative costumes and accessories incorporating technologies like low-cost microprocessors, sensors and programmable LEDs.

Fashion tech can require skills in design, pattern-making, sewing, electronics, and maybe 3D printing. Besides the tech skills, making a good costume or accessory also requires knowledge of the intangibles of what makes a good costume. This book is a collaboration between two technologists and a veteran teacher, costumer, and choreographer. Regardless of whether you are coming at this from the theater costuming,...

This book constitutes revised selected papers from the Second International Workshop on Brain-Inspired Computing, BrainComp 2015, held in Cetraro, Italy, in July 2015.
The 14 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with brain structure and function; computational models and brain-inspired computing methods with practical applications; high performance computing; and visualization for brain simulations.

This book focuses on computing devices and their design at various levels to combat variability. The authors provide a review of key concepts with particular emphasis on timing errors caused by various variability sources. They discuss methods to predict and prevent, detect and correct, and finally conditions under which such errors can be accepted; they also consider their implications on cost, performance and quality. Coverage includes a comparative evaluation of methods for deployment across various layers of the system from circuits, architecture, to application software. These can be...

This textbook covers the design of electronic systems from the ground up, from drawing and CAD essentials to recycling requirements. Chapter by chapter, it deals with the challenges any modern system designer faces: The design process and its fundamentals, such as technical drawings and CAD, electronic system levels, assembly and packaging issues and appliance protection classes, reliability analysis, thermal management and cooling, electromagnetic compatibility (EMC), all the way to recycling requirements and environmental-friendly design principles.

"This unique book...