Higher Order Logic and Hardware Verification
ISBN: 9780521417181 / Angielski / Twarda / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of the book is the use of abstraction in hardware specification and verification. The author describes how certain fundamental abstraction mechanisms for hardware verification can be formalized in logic and used to express assertions about design correctness and the relative accuracy of models of hardware behavior. His approach is pragmatic and driven by examples. He also includes an introduction to higher-order logic, which is a widely used...
Dr. Melham shows here how formal logic can be used to specify the behavior of hardware designs and reason about their correctness. A primary theme of ...
|
|
cena:
546,84 zł |
Design Issues Optical Processi
ISBN: 9780521430487 / Angielski / Twarda / 294 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Modern optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. This book provides a detailed review of the key issues that must be addressed in the design, evaluation, and implementation of practical systems for signal processing and optical interconnection. Articles consider in detail such topics as the computer modeling of optical design limitations, the size and noise characteristics of optical modulators, and the relative merits of free-space and guided-wave optical technology in different processing...
Modern optical techniques have a huge range of potential applications in signal processing and in the interconnection of digital computing systems. Th...
|
|
cena:
630,38 zł |
Advanced Model Order Reduction Techniques in VLSI Design
ISBN: 9780521865814 / Angielski / Twarda / 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:
620,55 zł |
Build and Upgrade Your Own PC
ISBN: 9780750665063 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ian Sinclair's Build Your Own books have established themselves as authoritative and highly practical guides for home and small business PC users and IT technicians alike. All aspects of building and upgrading a PC are covered, making this the book computer retailers don't want you to read Build and Upgrade Your Own PC, 4th edition is based around building and upgrading to the latest systems, such as Pentium 4 or AMD Athlon XP motherboards running Windows XP and Windows 2000 Professional. As well as guiding you round the inside of your PC base unit Ian Sinclair also covers setup and...
Ian Sinclair's Build Your Own books have established themselves as authoritative and highly practical guides for home and small business PC users and ...
|
|
cena:
171,12 zł |
Embedded Microprocessor Systems: Real World Design
ISBN: 9780750675345 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The less-experienced engineer will be able to apply Ball's advice to everyday projects and challenges immediately with amazing results. In this new edition, the author has expanded the section on debug to include avoiding common hardware, software and interrupt problems. Other new features include an expanded section on system integration and debug to address the capabilities of more recent emulators and debuggers, a section about combination microcontroller/PLD devices, and expanded information on industry standard embedded platforms. * Covers all 'species' of embedded system chips...
The less-experienced engineer will be able to apply Ball's advice to everyday projects and challenges immediately with amazing results. In this new ed...
|
|
cena:
337,10 zł |
dsp software development techniques for embedded and real-time systems
ISBN: 9780750677592 / Angielski / Miękka / 581 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Today's embedded and real-time systems contain a mix of processor types: off-the-shelf microcontrollers, digital signal processors (DSPs), and custom processors. The decreasing cost of DSPs has made these sophisticated chips very attractive for a number of embedded and real-time applications, including automotive, telecommunications, medical imaging, and many others--including even some games and home appliances. However, developing embedded and real-time DSP applications is a complex task influenced by many parameters and issues. DSP Software Development Techniques for Embedded and...
Today's embedded and real-time systems contain a mix of processor types: off-the-shelf microcontrollers, digital signal processors (DSPs), and custom ...
|
|
cena:
619,48 zł |
Designer's Guide to the Cypress Psoc
ISBN: 9780750677806 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This it the first technical reference book available on the PSoC, and it offers the most comprehensive combination of technical data, example code, and descriptive prose you'll find anywhere. Embedded design expert Robert Ashby will guide you through the entire PSoC world, providing thorough coverage of device feature, design, programming and development of the software-reconfigurable PSoC. He shares his best tips, tricks, and techniques that will help you to utilize the flexible and inexpensive PSoC to its greatest potential, with a minimum of heartaches and late nights. ...This it the first technical reference book available on the PSoC, and it offers the most comprehensive combination of technical data, example code,... |
|
cena:
248,92 zł |
Avr RISC Microcontroller Handbook
ISBN: 9780750699631 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The AVR RISC Microcontroller Handbook is a comprehensive guide to designing with Atmel's new controller family, which is designed to offer high speed and low power consumption at a lower cost. The main text is divided into three sections: hardware, which covers all internal peripherals; software, which covers programming and the instruction set; and tools, which explains using Atmel's Assembler and Simulator (available on the Web) as well as IAR's C compiler.
The AVR RISC Microcontroller Handbook is a comprehensive guide to designing with Atmel's new controller family, which is designed to offer high...
|
|
cena:
311,17 zł |
Digital Systems Design with VHDL and Synthesis: An Integrated Approach
ISBN: 9780769500232 / Angielski / Twarda / 518 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. K.C. Chang presents an integrated approach to digital design principles, processes, and implementations to help the reader design increasingly complex systems within shorter design cycles. Chang introduces digital design concepts, VHDL coding, VHDL simulation, synthesis commands, and strategies together.
Digital Systems Design with VHDL and Synthesis focuses on the ultimate product of the design cycle: the implementation of a digital design. Many of the design techniques and considerations illustrated in the text are examples of actual real-world designs. Unique features of... K.C. Chang presents an integrated approach to digital design principles, processes, and implementations to help the reader design increasingly complex...
|
|
cena:
638,55 zł |
Iterative Computer Algorithms with Applications in Engineering
ISBN: 9780769501000 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Iterative Computer Algorithms with Applications in Engineering describes in-depth the five main iterative algorithms for solving hard combinatorial optimization problems: Simulated Annealing, Genetic Algorithms, Tabu Search, Simulated Evolution, and Stochastic Evolution. The authors present various iterative techniques and illustrate how they can be applied to solve several NP-hard problems.
For each algorithm, the authors present the procedures of the algorithm, parameter selection criteria, convergence property analysis, and parallelization. There are also several real-world... Iterative Computer Algorithms with Applications in Engineering describes in-depth the five main iterative algorithms for solving hard combinatorial op...
|
|
cena:
638,55 zł |
Magnetic Disk Drive Technology: Heads, Media, Channel, Interfaces, and Integration
ISBN: 9780780310834 / Angielski / Twarda / 368 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will take you from basic academic knowledge about magnetics to a proficient understanding of the most recent advances in the technology. This book offers the latest information about disk technology, including: the fundamentals of magnetics, MIG heads, thin film heads, magnetoresistive heads, thin film media, electrical and mechanical integration of these components into a drive, and how to record writing and reading processes magnetically. You'll also learn about giant magnetoresistance, contact recording, and future disk drive industry developments. MAGNETIC DISK DRIVE TECHNOLOGY...
This book will take you from basic academic knowledge about magnetics to a proficient understanding of the most recent advances in the technology. Thi...
|
|
cena:
938,85 zł |
Principles of Data Conversion System Design
ISBN: 9780780310933 / Angielski / Twarda / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Electrical Engineering/Circuits and Systems Principles of Data Conversion System Design This advanced text and reference deals with the design and implementation of integrated circuits for analog-to-digital and digital-to-analog conversion. It begins with basic concepts and systematically leads the reader to advanced topics, describing design issues and techniques at both circuit and system levels. Key topics covered include:
Electrical Engineering/Circuits and Systems Principles of Data Conversion System Design This advanced text and reference deals with the design and imp...
|
|
cena:
1037,13 zł |
Modeling for Reliability Analysis: Markov Modeling for Reliability, Maintainability, Safety, and Supportability Analyses of Complex Systems
ISBN: 9780780334823 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. -Markov modeling has long been accepted as a fundamental and powerful technique for the fault tolerance analysis of mission-critical applications. However, the elaborate computations required have often made Markov modeling too time-consuming to be of practical use on these complex systems. With this hands-on tool, designers can use the Markov modeling technique to analyze safety, reliability, maintainability, and cost-effectiveness factors in the full range of complex systems in use today.
Featuring ground-breaking simulation software and a comprehensive reference manual, MARKOV... -Markov modeling has long been accepted as a fundamental and powerful technique for the fault tolerance analysis of mission-critical applications. How...
|
|
cena:
862,41 zł |
Fundamentals and Standards in Hardware Description Languages
ISBN: 9780792325130 / Angielski / Twarda / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. During next century they may perform other mutations to become optical or molecular or even biological. Actually, all these aspects are only fancy dresses put on mathematical machines. This was always recognized to be true in the domain of software, where "machine" or "high level" languages are more or less rigourous, but immaterial, variations of the universaly accepted mathematical language aimed at specifying elementary operations, functions,...
The second half of this century will remain as the era of proliferation of electronic computers. They did exist before, but they were mechanical. Duri...
|
|
cena:
1148,61 zł |
Optical Interconnections and Parallel Processing: Trends at the Interface
ISBN: 9780792348177 / Angielski / Twarda / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Optical media are now widely used in the telecommunication networks, and the evolution of optical and optoelectronic technologies tends to show that their wide range of techniques could be successfully introduced in shorter-distance interconnection systems. This book bridges the existing gap between research in optical interconnects and research in high-performance computing and communication systems, of which parallel processing is just an example. It also provides a more comprehensive understanding of the advantages and limitations of optics as applied to high-speed communications.
... Optical media are now widely used in the telecommunication networks, and the evolution of optical and optoelectronic technologies tends to show that t...
|
|
cena:
574,29 zł |
Virtual Components Design and Reuse
ISBN: 9780792372615 / Angielski / Twarda / 230 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Design reuse is not just a topic of research but a real industrial necessity in the microelectronic domain and thus driving the competitiveness of relevant areas like for example telecommunication or automotive. Most companies have already dedicated a department or a central unit that transfer design reuse into reality. All main EDA conferences include a track to the topic, and even specific conferences have been established in this area, both in the USA and in Europe.
Virtual Components Design and Reuse presents a selection of articles giving a mature and consolidated... Design reuse is not just a topic of research but a real industrial necessity in the microelectronic domain and thus driving the competitiveness of rel...
|
|
cena:
574,29 zł |
Synchronous Equivalence: Formal Methods for Embedded Systems
ISBN: 9780792372622 / Angielski / Twarda / 136 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionally, one or more electronic circuits or microprocessors are literally embedded in the system, either taking up roles that used to be performed by mechanical devices, or providing functionality that is not otherwise possible.
The goal of this book is to investigate how formal methods can be applied to the domain of embedded system design. The emphasis is on the specification, representation, validation, and design exploration of such systems... An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. Traditionall...
|
|
cena:
382,84 zł |
Systematic Design for Optimisation of Pipelined Adcs
ISBN: 9780792372912 / Angielski / Twarda / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Systematic Design for Optimisation of Pipelined ADCs proposes and develops new strategies, methodologies and tools for designing low-power and low-area CMOS pipelined A/D converters. The task is tackled by following a scientifically-consistent approach. First of all, the state of the art in pipeline A/D converters is analysed with a double purpose: a) to identify the best suited among different strategies reported in literature and taking into account the objectives pursued; b) to identify the drawbacks of these strategies as a basic first step to improve them. Then, the book...
Systematic Design for Optimisation of Pipelined ADCs proposes and develops new strategies, methodologies and tools for designing low-power an...
|
|
cena:
574,29 zł |
Electronic Chips & Systems Design Languages
ISBN: 9780792373117 / Angielski / Twarda / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip (SOC) design requires designers to work in a multi-lingual environment which is becoming increasingly difficult to master. It is therefore crucial for them to learn, almost in real time, from the experiences of their colleagues in the use of design languages and how these languages have become more advanced to cope with system design.
System designers, as well as students willing to become system designers, often do not have the time to... Electronic Chips & Systems Design Languagesoutlines and describes the latest advances in design languages. The challenge of System on a Chip ...
|
|
cena:
765,72 zł |
Constrained Coding and Soft Iterative Decoding
ISBN: 9780792374558 / Angielski / Twarda / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constrained Coding and Soft Iterative Decoding is the first work to combine the issues of constrained coding and soft iterative decoding (e.g., turbo and LDPC codes) from a unified point of view. Since constrained coding is widely used in magnetic and optical storage, it is necessary to use some special techniques (modified concatenation scheme or bit insertion) in order to apply soft iterative decoding.
Recent breakthroughs in the design and decoding of error-control codes (ECCs) show significant potential for improving the performance of many communications systems. ECCs such... Constrained Coding and Soft Iterative Decoding is the first work to combine the issues of constrained coding and soft iterative decoding (e.g...
|
|
cena:
382,84 zł |