Narrow your search

Library

EhB (3)

VUB (2)


Resource type

book (3)


Language

English (3)


Year
From To Submit

2011 (1)

2009 (2)

Listing 1 - 3 of 3
Sort by

Book
VLSI Physical Design: From Graph Partitioning to Timing Closure
Authors: --- --- --- ---
ISBN: 9789048195916 Year: 2011 Publisher: Dordrecht Springer Netherlands

Loading...
Export citation

Choose an application

Bookmark

Abstract

Design and optimization of integrated circuits are essential to the creation of new semiconductor chips, and physical optimizations are becoming more prominent as a result of semiconductor scaling. Modern chip design has become so complex that it is largely performed by specialized software, which is frequently updated to address advances in semiconductor technologies and increased problem complexities. A user of such software needs a high-level understanding of the underlying mathematical models and algorithms. On the other hand, a developer of such software must have a keen understanding of computer science aspects, including algorithmic performance bottlenecks and how various algorithms operate and interact. VLSI Physical Design: From Graph Partitioning to Timing Closure introduces and compares algorithms that are used during the physical design phase of integrated-circuit design, wherein a geometric chip layout is produced starting from an abstract circuit design. The emphasis is on essential and fundamental techniques, ranging from hypergraph partitioning and circuit placement to timing closure.


Book
Functional Design Errors in Digital Circuits : Diagnosis, Correction and Repair
Authors: --- --- ---
ISBN: 9781402093654 Year: 2009 Publisher: Dordrecht Springer Netherlands

Loading...
Export citation

Choose an application

Bookmark

Abstract

Due to the dramatic increase in design complexity, modern circuits are often produced with functional errors. While improvements in verification allow engineers to find more errors, fixing these errors remains a manual and challenging task. Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow: from Register-Transfer Level (RTL) all the way to the silicon die. In particular, this book describes: (1) techniques for bug trace minimization that simplify debugging; (2) an RTL error diagnosis method that identifies the root cause of errors directly; (3) a counterexample-guided error-repair framework to automatically fix errors in gate-level and RTL designs; (4) a symmetry-based rewiring technology for fixing electrical errors; (5) an incremental verification system for physical synthesis; and (6) an integrated framework for post-silicon debugging and layout repair. In addition, Functional Design Errors in Digital Circuits Diagnosis describes a comprehensive evaluation of spare-cell insertion methods. The solutions provided in this book can greatly reduce debugging effort, enhance design quality, and ultimately enable the design and manufacture of more reliable electronic devices.


Book
Quantum Circuit Simulation
Authors: --- --- ---
ISBN: 9789048130658 Year: 2009 Publisher: Dordrecht Springer Netherlands

Loading...
Export citation

Choose an application

Bookmark

Abstract

Recent progress in atomic physics, semiconductors, and optical technologies lead to the need to control matter at an unprecedented scale. However, atoms, electrons and photons do not obey laws of classical physics and instead are governed by quantum mechanics. The formalism of quantum circuits promises to transform engineering disciplines the way digital circuits transformed computing, communications, control and measurement. A quantum circuit simulator implemented in software acts as a replacement of an actual quantum system and seeks to calculate the output from the inputs. This is a very difficult task, but researchers have achieved significant progress in many important special cases. This self-contained book discusses both theoretical and practical aspects of simulating quantum circuits on conventional computers. Engineers can sanity-check and evaluate their designs through simulation before building hardware. Computer scientists can use simulation to compare quantum algorithms to conventional ones. Quantum Circuit Simulation covers the fundamentals of linear algebra and introduces basic concepts of quantum physics needed to understand quantum circuits and algorithms. It requires only basic familiarity with algebra, graph algorithms and computer engineering. After introducing necessary background, the authors describe key simulation techniques that have so far been scattered throughout the research literature in physics, computer science, and computer engineering. Quantum Circuit Simulation also illustrates the development of software for quantum simulation by example of the QuIDDPro package, which is freely available and can be used by students of quantum information as a "quantum calculator."

Listing 1 - 3 of 3
Sort by