![]() |
Information-Theoretic Incompleteness
ISBN: 9789810212087 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this mathematical autobiography, Chaitin presents a technical survey of his work and a non-technical discussion of its significance. The volume is a companion to the earlier collection of Chaitin's papers "Information, Randomness and Incompleteness" also published by World Scientific.
In this mathematical autobiography, Chaitin presents a technical survey of his work and a non-technical discussion of its significance. The volume is ...
|
cena:
401,61 |
![]() |
Operational Amplifiers: Theory and Design
ISBN: 9789400793002 / Angielski / Miękka / 408 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Operational Amplifiers - Theory and Design, Second Edition presents a systematic circuit design of operational amplifiers. Containing state-of-the-art material as well as the essentials, the book is written to appeal to both the circuit designer and the system designer. It is shown that the topology of all operational amplifiers can be divided into nine main overall configurations. These configurations range from one gain stage up to four or more stages. Many famous designs are evaluated in depth. Additional chapters included are on systematic design of V-offset operational amplifiers and...
Operational Amplifiers - Theory and Design, Second Edition presents a systematic circuit design of operational amplifiers. Containing state-of-the-art...
|
cena:
402,37 |
![]() |
Spectral Interpretation of Decision Diagrams
ISBN: 9780387955452 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. This approach also provides a framework for developing advanced solutions for digital design and a host of other applications. Scientists, computer science and engineering professionals, and researchers with an interest in the spectral methods of representing discrete functions, as well as the foundations of logic design, will find the book a clearly explained, well-organized, and essential resource. Anyone who can interpret decision diagrams using the spectral approach can advance both the utility and understanding of classical DD techniques. T... |
cena:
402,53 |
![]() |
Refinement Calculus: A Systematic Introduction
ISBN: 9780387984179 / Angielski / Miękka / 520 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for...
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving c...
|
cena:
402,53 |
![]() |
Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics
ISBN: 9780792374077 / Angielski / Twarda / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a host of electrical problems like cross-talk, electromigration, self-heat, etc. are becoming important. Cross-talk is one of the major problems since it results in unpredictable design behavior. In particular, it can result in significant delay variation or signal integrity problems in a wire, depending on the state of its neighboring wires. Typical approaches to tackle the cross-talk problem attempt to fix the problem once it is created. In our...
This book was motivated by the problems being faced with shrinking IC process feature sizes. It is well known that as process feature sizes shrink, a ...
|
cena:
402,53 |
![]() |
Low-Energy FPGAs -- Architecture and Design
ISBN: 9780792374282 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Low-Energy FPGAs: Architecture and Design is a primary resource for both researchers and practicing engineers in the field of digital circuit design.
The book addresses the energy consumption of Field-Programmable Gate Arrays (FPGAs). FPGAs are becoming popular as embedded components in computing platforms. The programmability of the FPGA can be used to customize implementations of functions on an application basis. This leads to performance gains, and enables reuse of expensive silicon. Chapter 1 provides an overview of digital circuit design and FPGAs. Chapter 2 looks... Low-Energy FPGAs: Architecture and Design is a primary resource for both researchers and practicing engineers in the field of digital circuit...
|
cena:
402,53 |
![]() |
Rapid Prototyping of Digital Systems: A Tutorial Approach
ISBN: 9780792374398 / Angielski / Miękka / 270 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Rapid Prototyping of Digital Systems, Second Edition provides an exciting and challenging laboratory component for an undergraduate digital logic design class. The more advanced topics and exercises are also appropriate for consideration at schools that have an upper level course in digital logic or programmable logic. Rapid Prototyping of Digital Systems, Second Edition provides an exciting and challenging laboratory component for an undergraduate digital ... |
cena:
402,53 |
![]() |
Memory Design Techniques for Low Energy Embedded Systems
ISBN: 9780792376903 / Angielski / Twarda / 144 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proliferation of embedded systems, and the corresponding new chip and chip set designs, have brought additional attention to storage units. Indeed, the heterogeneity of components and structures within embedded systems and the possibility of using application-specific storage systems has added a new dimension to memory system design. Moreover, new degrees of freedom have been opened since the introduction of embedded memory arrays in different technologies, such as SRAMs, DRAMs and EEPROMs and Flash, and their realization on the same silicon substate hosting processing units.
Embedded... The proliferation of embedded systems, and the corresponding new chip and chip set designs, have brought additional attention to storage units. Indeed...
|
cena:
402,53 |
![]() |
Evolutionary Algorithms for VLSI CAD
ISBN: 9780792381686 / Angielski / Twarda / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. While some of these methods have been shown to work well in applications and have become somewhat established over the years, other techniques have been ignored.
Recently, there has been a growing interest in optimization algorithms based on principles observed in nature, termed Evolutionary Algorithms (EAs). Evolutionary Algorithms in VLSI CAD presents the basic concepts of EAs, and considers the application of EAs in VLSI... In VLSI CAD, difficult optimization problems have to be solved on a constant basis. Various optimization techniques have been proposed in the past. Wh...
|
cena:
402,53 |
![]() |
Timing Analysis and Optimization of Sequential Circuits
ISBN: 9780792383215 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems.
Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to... Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques t...
|
cena:
402,53 |
![]() |
Reuse Techniques for VLSI Design
ISBN: 9780792384762 / Angielski / Twarda / 153 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reuse Techniques for VLSI Design is a reflection on the current state of the art in design reuse for microelectronic systems. To that end, it is the first book to garner the input of leading experts from both research and application areas. These experts document herein not only their more mature approaches, but also their latest research results.
Firstly, it sets out the background and support from international organisations that enforce System-on-a-Chip (SoC) design by reuse- oriented methodologies. This overview is followed by a number of technical presentations covering... Reuse Techniques for VLSI Design is a reflection on the current state of the art in design reuse for microelectronic systems. To that end, it...
|
cena:
402,53 |
![]() |
Unified Methods for VLSI Simulation and Test Generation
ISBN: 9780792390251 / Angielski / Twarda / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
402,53 |
![]() |
A Survey of High-Level Synthesis Systems
ISBN: 9780792391586 / Angielski / Twarda / 182 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The state of high-level synthesis today is similar to the state of logic synthesis ten years ago. At present, logic-synthesis tools are widely used in digital system design. In the future, high-level synthesis will play a key role in mastering design complexity and in truly exploiting the potential of ASIes and PLDs, which demand extremely short design cycles. Work on high-level synthesis began over twenty years ago. Since substantial progress has...
After long years of work that have seen little industrial application, high-level synthesis is finally on the verge of becoming a practical tool. The ...
|
cena:
402,53 |
![]() |
Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications
ISBN: 9780792391630 / Angielski / Twarda / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various solutions to the false path problem that had been proposed in the literature, with a view to determining the computational expense of each versus the gain in accuracy. However, it became clear that some of the proposed approaches in the literature were wrong in that they under- estimated the critical delay of some circuits under reasonable conditions. Further, some other approaches were vague and so of questionable accu- racy. The focus of the...
This book is an extension of one author's doctoral thesis on the false path problem. The work was begun with the idea of systematizing the various sol...
|
cena:
402,53 |
![]() |
Sequential Logic Synthesis
ISBN: 9780792391876 / Angielski / Twarda / 225 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4....
3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints ...
|
cena:
402,53 |
![]() |
Iddq Testing of VLSI Circuits
ISBN: 9780792393153 / Angielski / Twarda / 124 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Power supply current monitoring to detect CMOS IC defects during production testing quietly laid down its roots in the mid-1970s. Both Sandia Labs and RCA in the United States and Philips Labs in the Netherlands practiced this procedure on their CMOS ICs. At that time, this practice stemmed simply from an intuitive sense that CMOS ICs showing abnormal quiescent power supply current (IDDQ) contained defects. Later, this intuition was supported by data and analysis in the 1980s by Levi (RACD, Malaiya and Su (SUNY-Binghamton), Soden and Hawkins (Sandia Labs and the University of New...
Power supply current monitoring to detect CMOS IC defects during production testing quietly laid down its roots in the mid-1970s. Both Sandia Labs and...
|
cena:
402,53 |
![]() |
Logic Synthesis for Field-Programmable Gate Arrays
ISBN: 9780792395966 / Angielski / Twarda / 427 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal processors have been used extensively in such systems since they allow rapid design revisions. However, the inherent performance limitations of software-programmable systems mean that they are inadequate for high-performance designs. Designers thus turned to gate arrays as a solution. User-programmable gate arrays (field-programmable gate arrays, FPGAs) have recently emerged and are changing the way electronic systems are designed and...
Short turnaround has become critical in the design of electronic systems. Software- programmable components such as microprocessors and digital signal...
|
cena:
402,53 |
![]() |
High-Performance Digital VLSI Circuit Design
ISBN: 9780792396413 / Angielski / Twarda / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. High-Performance Digital VLSI Circuit Design is the first book devoted entirely to the design of digital high-performance VLSI circuits. CMOS, BiCMOS and bipolar ciruits are covered in depth, including state-of-the-art circuit structures.
Recent advances in both the computer and telecommunications industries demand high-performance VLSI digital circuits. Digital processing of signals demands high-speed circuit techniques for the GHz range. The design of such circuits represents a great challenge; one that is amplified when the power supply is scaled down to 3.3 V. Moreover, the... High-Performance Digital VLSI Circuit Design is the first book devoted entirely to the design of digital high-performance VLSI circuits. CMOS...
|
cena:
402,53 |
![]() |
Synthesis of Finite State Machines: Logic Optimization
ISBN: 9780792398929 / Angielski / Twarda / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Machines (FSMs). The first volume, Synthesis of Finite State Machines: Functional Optimization, addresses functional optimization, whereas this one addresses logic optimization. The result of functional optimization is a symbolic description of an FSM which represents a sequential function chosen from a collection of permissible candidates. Logic optimization is the body of techniques for converting a symbolic description of an...
Synthesis of Finite State Machines: Logic Optimization is the second in a set of two monographs devoted to the synthesis of Finite State Mach...
|
cena:
402,53 |
![]() |
An Artificial Intelligence Approach to Test Generation
ISBN: 9780898381856 / Angielski / Twarda / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher and a sounding board for new ideas, Mike was extremely helpful in pointing out Haws, and suggesting new directions to explore. I would also like to thank Harold Brown for introducing me to the application of artificial intelligence to reasoning about designs, and his many valuable comments as a reader of this thesis. Significant contribu tions by the other members of my reading committee, Mark Horowitz, and Allen Peterson have greatly improved...
I am indebted to my thesis advisor, Michael Genesereth, for his guidance, inspiration, and support which has made this research possible. As a teacher...
|
cena:
402,53 |