![]() |
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis
ISBN: 9781461361565 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms, lag behind. Much present timing research relies heavily on timing diagrams, which, although intuitive, are inadequate for analysis of large designs with many parameters. Further, timing diagrams offer only approximations, not exact solutions, to many timing problems and provide little insight in the cases where temporal properties of a design interact intricately with the design's logical functionalities. This book presents a methodology for...
Timing research in high performance VLSI systems has advanced at a steady pace over the last few years, while tools, especially theoretical mechanisms...
|
cena:
402,53 |
![]() |
Field-Programmable Gate Array Technology
ISBN: 9781461361831 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Many different kinds of FPGAs exist, with different programming technologies, different architectures and different software. Field-Programmable Gate Array Technology describes the major FPGA architectures available today, covering the three programming technologies that are in use and the major architectures built on those programming technologies. The reader is introduced to concepts relevant to the entire field of FPGAs using popular devices as examples.
Field-Programmable Gate Array Technology includes discussions of FPGA integrated circuit manufacturing, circuit... Many different kinds of FPGAs exist, with different programming technologies, different architectures and different software. Field-Programmable G...
|
cena:
603,81 |
![]() |
Logic Synthesis and Optimization
ISBN: 9781461363811 / Angielski / Miękka / 375 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading experts on the subject. The focus of the book is on logic minimization and includes such topics as two-level minimization, multi-level minimization, application of binary decision diagrams, delay optimization, asynchronous circuits, spectral method for logic design, field programmable gate array (FPGA) design, EXOR logic synthesis and technology mapping. Examples and illustrations are included so that each contribution can be read independently....
Logic Synthesis and Optimization presents up-to-date research information in a pedagogical form. The authors are recognized as the leading ex...
|
cena:
603,81 |
![]() |
Algorithms for Synthesis and Testing of Asynchronous Circuits
ISBN: 9781461364108 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. The lack of interest in asynchronous techniques was motivated by the progressive shift towards synchronous design techniques that had much more structure and were much easier to verify and synthesize. System design requirements made it impossible to eliminate totally the use of asynchronous circuits. Given the objective difficulty encountered by designers, the asynchronous components of electronic systems such as interfaces became a serious...
Since the second half of the 1980s asynchronous circuits have been the subject of a great deal of research following a period of relative oblivion. Th...
|
cena:
885,61 |
![]() |
Fault Covering Problems in Reconfigurable VLSI Systems
ISBN: 9781461366065 / Angielski / Miękka / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance in VLSI and WSI Systems. The book examines solutions to a number of reconfiguration problems.
Efficient algorithms are given for tractable covering problems and general techniques are given for dealing with a large number of intractable covering problems. The book begins with an investigation of algorithms for the reconfiguration of large redundant memories. Next, a number of more general covering problems are considered and the... Fault Covering Problems in Reconfigurable VLSI Systems describes the authors' recent research on reconfiguration problems for fault-tolerance...
|
cena:
402,53 |
![]() |
Sequential Logic Testing and Verification
ISBN: 9781461366225 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care- fully. The problem has several aspects. Certainly, considering reliability implies that an engineer must be able to analyze how design decisions affect the incidence of failure. For instance, in order design reliable inte- gritted circuits, it is necessary to analyze how decisions regarding design rules affect the yield, i.e., the percentage of functional chips obtained by the manufacturing process. Of equal importance in producing reliable computers is...
In order to design and build computers that achieve and sustain high performance, it is essential that reliability issues be considered care- fully. T...
|
cena:
603,81 |
![]() |
High-Level VLSI Synthesis
ISBN: 9781461367710 / Angielski / Miękka / 390 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The time has come for high-level synthesis. When research into synthesizing hardware from abstract, program-like de- scriptions started in the early 1970' s, there was no automated path from the register- transfer design produced by high-level synthesis to a complete hardware imple- mentation. As a result, it was very difficult to measure the effectiveness of high- level synthesis methods; it was also hard to justify to users the need to automate architecture design when low-level design had to be completed manually. Today's more mature CAD techniques help close the gap between an automat-...
The time has come for high-level synthesis. When research into synthesizing hardware from abstract, program-like de- scriptions started in the early 1...
|
cena:
805,10 |
![]() |
A Survey of High-Level Synthesis Systems
ISBN: 9781461367727 / Angielski / Miękka / 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 |
![]() |
Compressed Data Structures for Strings: On Searching and Extracting Strings from Compressed Textual Data
ISBN: 9789462390324 / Angielski / Twarda / 118 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the former aims at minimizing data redundancies, whereas the latter augments the dataset with auxiliary information to speed up the query resolution. In this monograph we introduce solutions that overcome this dichotomy. We start by presenting the use of optimization techniques to improve the compression of classical data compression algorithms, then we move to the design of compressed data structures providing fast random access or efficient pattern...
Data compression is mandatory to manage massive datasets, indexing is fundamental to query them. However, their goals appear as counterposed: the form...
|
cena:
201,24 |
![]() |
Reversible Computation: 8th International Conference, Rc 2016, Bologna, Italy, July 7-8, 2016, Proceedings
ISBN: 9783319405773 / Angielski / Miękka / 339 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in July 2016. This book constitutes the refereed proceedings of the 8th International Conference on Reversible Computation, RC 2016, held in Bologna, Italy, in J... |
cena:
201,24 |
![]() |
Ispd 13 Proceedings of the 2013 ACM International Symposium on Physical Design
ISBN: 9781450318679 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
270,65 |
![]() |
Descriptive Complexity
ISBN: 9781461268093 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such as analyzing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is a relatively self-contained introduction to the subject, which includes the necessary background material, as well as numerous examples and exercises.
By virtue of the close relationship between logic and relational databases, it turns out that complexity has important applications to databases such ...
|
cena:
342,14 |
![]() |
Algorithmic and Register-Transfer Level Synthesis: The System Architect's Workbench: The System Architect's Workbench
ISBN: 9781461288152 / Angielski / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated circuits more actively. Such design tools hold the promise of raising the level of abstraction at which an integrated circuit is designed, thus releasing the current designers from many of the details of logic and circuit level design. The promise further suggests that a whole new group of designers in neighboring engineering and science disciplines, with far less understanding of integrated circuit design, will also be able to increase their...
Recently there has been increased interest in the development of computer-aided design programs to support the system level designer of integrated cir...
|
cena:
603,81 |
![]() |
VLSI Design for Manufacturing: Yield Enhancement
ISBN: 9781461288169 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. One of the keys to success in the IC industry is getting a new product to market in a timely fashion and being able to produce that product with sufficient yield to be profitable. There are two ways to increase yield: by improving the control of the manufacturing process and by designing the process and the circuits in such a way as to minimize the effect of the inherent variations of the process on performance. The latter is typically referred to as "design for manufacture" or "statistical design." As device sizes continue to shrink, the effects of the inherent fluctuations in the IC...
One of the keys to success in the IC industry is getting a new product to market in a timely fashion and being able to produce that product with suffi...
|
cena:
603,81 |
![]() |
Introduction to Analog VLSI Design Automation
ISBN: 9781461288237 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications combining digital as well as analog circuits on a single chip. Abundant examples are found on today's advanced systems for telecom munications, robotics, automotive electronics, image processing, intelli gent sensors, etc .. Exciting new applications are being unveiled in the field of neural computing where the massive use of analog/digital VLSI technologies will have a significant impact. To match such a fast technological trend towards single...
Very large scale integration (VLSI) technologies are now maturing with a current emphasis toward submicron structures and sophisticated applications c...
|
cena:
402,53 |
![]() |
Computer-Aided Design and VLSI Device Development
ISBN: 9781461289562 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. examples are presented. These chapters are intended to introduce the reader to the programs. The program structure and models used will be described only briefly. Since these programs are in the public domain (with the exception of the parasitic simulation programs), the reader is referred to the manuals for more details. In this second edition, the process program SUPREM III has been added to Chapter 2. The device simulation program PISCES has replaced the program SIFCOD in Chapter 3. A three-dimensional parasitics simulator FCAP3 has been added to Chapter 4. It is clear that these programs...
examples are presented. These chapters are intended to introduce the reader to the programs. The program structure and models used will be described o...
|
cena:
603,81 |
![]() |
VLSI Placement and Global Routing Using Simulated Annealing
ISBN: 9781461289579 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From my B.E.E degree at the University of Minnesota and right through my S.M. degree at M.I.T., I had specialized in solid state devices and microelectronics. I made the decision to switch to computer-aided design (CAD) in 1981, only a year or so prior to the introduction of the simulated annealing algorithm by Scott Kirkpatrick, Dan Gelatt, and Mario Vecchi of the IBM Thomas 1. Watson Research Center. Because Prof. Alberto Sangiovanni-Vincentelli, my UC Berkeley advisor, had been a consultant at IBM, I re ceived a copy of the original IBM internal report on simulated annealing approximately...
From my B.E.E degree at the University of Minnesota and right through my S.M. degree at M.I.T., I had specialized in solid state devices and microelec...
|
cena:
603,81 |
![]() |
An Artificial Intelligence Approach to Test Generation
ISBN: 9781461291831 / Angielski / Miękka / 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 |
![]() |
VLSI CAD Tools and Applications
ISBN: 9781461291862 / Angielski / Miękka / 576 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The summer school on VLSf GAD Tools and Applications was held from July 21 through August 1, 1986 at Beatenberg in the beautiful Bernese Oberland in Switzerland. The meeting was given under the auspices of IFIP WG 10. 6 VLSI, and it was sponsored by the Swiss Federal Institute of Technology Zurich, Switzerland. Eighty-one professionals were invited to participate in the summer school, including 18 lecturers. The 81 participants came from the following countries: Australia (1), Denmark (1), Federal Republic of Germany (12), France (3), Italy (4), Norway (1), South Korea (1), Sweden (5), United...
The summer school on VLSf GAD Tools and Applications was held from July 21 through August 1, 1986 at Beatenberg in the beautiful Bernese Oberland in S...
|
cena:
201,24 |
![]() |
Fairness
ISBN: 9781461293477 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor- tant, namely fairness. Much of the reported research is still in the form of technical reports, theses and conference papers, and only a small part has already appeared in the formal scientific journal literature. Fairness is one of those concepts that can intuitively be explained very brieft.y, but bear a lot of consequences, both in theory and the practicality of programming languages. Scientists have traditionally been attracted to studying such...
The main purpose of this book is to bring together much of the research conducted in recent years in a subject I find both fascinating and impor- tant...
|
cena:
201,24 |