» książki » Computers - Logic Design
topmenu
 |
Digital Design Hdlbased Approach
ISBN: 9781408072622 / Angielski / Miękka / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook Digital Design: HDL-Based Approach presents Digital Electronics and Logic Design fundamentals with HDL-Based Design in a motivating and thorough manner. It is designed for a one-semester course at the undergraduate level and also provides contents for B. Tech programs for Electrical, Electronics and Communication, Computer Science and other associated engineering disciplines. Although the authors have assumed that readers possess elementary knowledge of electronic devices and circuits, all fundamental concepts of this subject have been touched upon for the sake of clarity.
This textbook Digital Design: HDL-Based Approach presents Digital Electronics and Logic Design fundamentals with HDL-Based Design in a motivating and ...
|
cena:
331,64 |
 |
Hardware Evolution: Automatic Design of Electronic Circuits in Reconfigurable Hardware by Artificial Evolution
ISBN: 9781447134169 / Angielski / Miękka / 117 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a large part of our history, in the breeding of plants and livestock. Artificial evolution, where we evolve an artifact through artificial selection, has been around since electronic computers became common: about 30 years. Right from the beginning, people have suggested using artificial evolution to design electronics automatically.l Only recently, though, have suitable re configurable silicon chips become available that make it easy for...
Evolution through natural selection has been going on for a very long time. Evolution through artificial selection has been practiced by humans for a ...
|
cena:
402,53 |
 |
Deduction Systems
ISBN: 9781461274797 / Angielski / Miękka / 206 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this purpose. But it was not until the appearance of Frege's 1879 Begriffsschrift-"not only the direct ancestor of contemporary systems of mathematical logic, but also the ancestor of all formal languages, including computer programming languages" ( Dav83])-that the fundamental concepts of modern mathematical logic were developed. Whitehead and Russell showed in their Principia Mathematica that the entirety of classical mathematics can be developed...
The idea of mechanizing deductive reasoning can be traced all the way back to Leibniz, who proposed the development of a rational calculus for this pu...
|
cena:
201,24 |
 |
Current Trends in Hardware Verification and Automated Theorem Proving
ISBN: 9781461281955 / Angielski / Miękka / 489 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This report describes the partially completed correctness proof of the Viper 'block model'. Viper 7,8,9,11,23] is a microprocessor designed by W. J. Cullyer, C. Pygott and J. Kershaw at the Royal Signals and Radar Establishment in Malvern, England, (henceforth 'RSRE') for use in safety-critical applications such as civil aviation and nuclear power plant control. It is currently finding uses in areas such as the de ployment of weapons from tactical aircraft. To support safety-critical applications, Viper has a particulary simple design about which it is relatively easy to reason using current...
This report describes the partially completed correctness proof of the Viper 'block model'. Viper 7,8,9,11,23] is a microprocessor designed by W. J. ...
|
cena:
402,53 |
 |
Asynchronous Circuits
ISBN: 9781461286981 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchronous circuits have been viewed as difficult to understand and design. In recent years, however, there has been a great surge of interest in asynchronous circuits, largely through the development of new asynchronous design methodologies.
This book provides a comprehensive theory of asynchronous circuits, including modelling, analysis, simulation, specification, verification, and an introduction to their design. It is based on courses given to... Although asynchronous circuits date back to the early 1950s most of the digital circuits in use today are synchronous because, traditionally, asynchro...
|
cena:
603,81 |
 |
VLSI Placement and Routing: The Pi Project
ISBN: 9781461396604 / Angielski / Miękka / 189 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. Alan Sher man has done an excellent job of collecting and clearly presenting material that was previously available only in various theses, confer ence papers, and memoranda. He has provided here a balanced and comprehensive presentation of the key ideas and techniques used in PI, discussing part of his own Ph. D. work (primarily on the place ment problem) in the context of the overall design of PI and the contributions of the many other PI team members. I began the PI Project...
This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. Alan Sher man has done an excelle...
|
cena:
201,24 |
 |
Logic, Algebra, and Computation: International Summer School
ISBN: 9783642768019 / Angielski / Miękka / 485 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most recent results to an elite of advanced students - young and most promising people - and prepared to stand their questions, criticism and suggestions. The themes of these Advanced Study In stitutes under the sponsorship of the NATO Scientific Affairs Division varied slightly over the years, oscillating more or less around Programming Methodo logy, as the following list shows: 1970 Data Structures and...
The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top research...
|
cena:
402,53 |
 |
Systementwurf Mit Netzen
ISBN: 9783642954580 / Niemiecki / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint? Beginnen wir mit den Systemen: sie sind in diesem Buch sehr aIlgemein aufgefaBt als "organisatorische Systeme," in denen geregelte Flusse von Gegenstanden und Informationen bedeutsam sind. Unter den Netzen wie derum wollen wir bier solche verstehen, wie sie im Rahmen der Netztheorie nach C. A. Petri entwickelt wurden: sogenannte "Petrinetze." Diese Petri netze haben sich in der Praxis entschieden bewahrt. Wir werden im Verlauf des Buches...
"Systementwurf mit Netzen" lautet der Titel dieses Buches. Was ist darun ter zu verstehen? Genauer: was ist bier mit Systemen, was mit Netzen gemeint?...
|
cena:
150,44 |
 |
Representations of Discrete Functions
ISBN: 9781461285991 / Angielski / Miękka / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results.
The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first. The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams... Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the la...
|
cena:
603,81 |
 |
Logic Synthesis Using Synopsys(r)
ISBN: 9781461286349 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Logic Synthesis Using Synopsys(r), Second Edition is for anyone who hates reading manuals but would still like to learn logic synthesis as practised in the real world. Synopsys Design Compiler, the leading synthesis tool in the EDA marketplace, is the primary focus of the book. The contents of this book are specially organized to assist designers accustomed to schematic capture-based design to develop the required expertise to effectively use the Synopsys Design Compiler. Over 100 Classic Scenarios' faced by designers when using the Design...
Logic Synthesis Using Synopsys(r), Second Edition is for anyone who hates reading manuals but would still like to learn logic synt...
|
cena:
603,81 |
 |
The Origins of Digital Computers: Selected Papers
ISBN: 9783642618147 / Angielski / Miękka / 582 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
805,10 |
 |
Data Types and Persistence
ISBN: 9783642648700 / Angielski / Miękka / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new models of computation such as logic programming, object-oriented programming and functional programming, to add to the well established von Neumann model. The data base community has almost independently developed more and more sophisticated data models to solve the problems of large scale data organisation. To make use of these new models in programming languages there must be an awareness of the problems of large scale data. The data base...
There is a growing interest in integrating databases and programming languages. In recent years the programming language community has developed new m...
|
cena:
402,53 |
 |
Advanced Model Order Reduction Techniques in VLSI Design
ISBN: 9781107411548 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Model order reduction (MOR) techniques reduce the complexity of VLSI designs, paving the way to higher operating speeds and smaller feature sizes. This book presents a systematic introduction to, and treatment of, the key MOR methods employed in general linear circuits, using real-world examples to illustrate the advantages and disadvantages of each algorithm. Following a review of traditional projection-based techniques, coverage progresses to more advanced MOR methods for VLSI design, including HMOR, passive truncated balanced realization (TBR) methods, efficient inductance modeling via the...
Model order reduction (MOR) techniques reduce the complexity of VLSI designs, paving the way to higher operating speeds and smaller feature sizes. Thi...
|
cena:
253,95 |
 |
High -- Level Synthesis: Introduction to Chip and System Design
ISBN: 9781461366171 / Angielski / Miękka / 359 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Research on high-level synthesis started over twenty years ago, but lower-level tools were not available to seriously support the insertion of high-level synthesis into the mainstream design methodology. Since then, substantial progress has been made in formulating and understanding the basic concepts in high-level synthesis. Although many open problems remain, high-level synthesis has matured.
High-Level Synthesis: Introduction to Chip and System Design presents a summary of the basic concepts and results and defines the remaining open problems. This is the first textbook on... Research on high-level synthesis started over twenty years ago, but lower-level tools were not available to seriously support the insertion of high-le...
|
cena:
603,81 |
 |
Practical Synthesis of High-Performance Analog Circuits
ISBN: 9781461375456 / Angielski / Miękka / 289 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Practical Synthesis of High-Performance Analog Circuits presents a technique for automating the design of analog circuits.
Market competition and the astounding pace of technological innovation exert tremendous pressure on circuit design engineers to turn ideas into products quickly and get them to market. In digital Application Specific Integrated Circuit (ASIC) design, computer aided design (CAD) tools have substantially eased this pressure by automating many of the laborious steps in the design process, thereby allowing the designer to maximise his design expertise. ... Practical Synthesis of High-Performance Analog Circuits presents a technique for automating the design of analog circuits.
Market compe... |
cena:
603,81 |
 |
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012, Revised Papers
ISBN: 9783642363146 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in July 2012. The 19 contributions presented in this volume were carefully reviewed and selected from 46 submissions. The papers cover theoretical considerations, reversible software and reversible hardware, and physical realizations and applications in quantum computing.
This book constitutes the refereed proceedings of the 4th International Workshop on Reversible Computation, RC 2012, held in Copenhagen, Denmark, in J...
|
cena:
185,18 |
 |
Defect and Fault Tolerance in VLSI Systems: Volume 1
ISBN: 9781461568018 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance in VLSI Systems held October 6-7, 1988 in Springfield, Massachusetts. Our thanks go to all the contributors and especially the members of the program committee for the difficult and time-consuming work involved in selecting the papers that were presented in the workshop and reviewing the papers included in this book. Thanks are also due to the IEEE Computer Society (in particular, the Technical Committee on Fault-Tolerant Computing and the Technical Committee on VLSI) and the...
This book contains an edited selection of papers presented at the International Workshop on Defect and Fault Tolerance in VLSI Systems held October 6-...
|
cena:
402,53 |
 |
System-On-Chip for Real-Time Applications
ISBN: 9781461350347 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. System-on-Chip for Real-Time Applications will be of interest to engineers, both in industry and academia, working in the area of SoC VLSI design and application. It will also be useful to graduate and undergraduate students in electrical and computer engineering and computer science.
A selected set of papers from the 2nd International Workshop on Real-Time Applications were used to form the basis of this book. It is organized into the following chapters: -Introduction; System-on-Chip for Real-Time Applications will be of interest to engineers, both in industry and academia, working in the area of SoC...
|
cena:
603,81 |
 |
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages
ISBN: 9781461350941 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chips that come back dead on arrival scream that verification is at fault for not finding the mistakes. How do we ensure success? After an accomplishment, have you ever had someone ask you, "Are you good or are you just lucky?"? Many design projects depend on blind luck in hopes that the chip will work. Other's, just adamantly rely on their own abilities to bring the chip to success. ill either case, how can we tell the difference between being good...
Verification isjob one in today's modem design process. Statistics tell us that the verification process takes up a majority of the overall work. Chip...
|
cena:
644,07 |
 |
Energy Scavenging for Wireless Sensor Networks: With Special Focus on Vibrations
ISBN: 9781461351009 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The vast reduction in size and power consumption of CMOS circuitry has led to a large research effort based around the vision of ubiquitous networks of wireless communication nodes. The wireless devices are usually designed to run on batteries. However, as the networks increase in number and the devices decrease in size, the replacement of depleted batteries is not practical. Furthermore, a battery that is large enough to last the lifetime of the device would dominate the overall system size, and thus is not very attractive. There is clearly a need to explore alternative methods of powering...
The vast reduction in size and power consumption of CMOS circuitry has led to a large research effort based around the vision of ubiquitous networks o...
|
cena:
805,10 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
