Автор: Brian T. Graham Название: The SECD Microprocessor ISBN: 0792392450 ISBN-13(EAN): 9780792392453 Издательство: Springer Рейтинг: Цена: 19559.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A substantial case study in hardware specification and verification, this text describes the organization and execution of the correctness of proof. By making the sources available, the book should be useful to those considering the use of or learning about the application of formal methods.
Автор: Anantha Chandrakasan Название: Design of High-Performance Microprocessor Circuits ISBN: 078036001X ISBN-13(EAN): 9780780360013 Издательство: Wiley Рейтинг: Цена: 34682.00 р. Наличие на складе: Поставка под заказ.
Описание: "This book covers the design of next generation microprocessors in deep submicron CMOS technologies. The chapters in Design of High Performance Microprocessor Circuits were written by some of the worlds leading technologists, designers, and researchers. All levels of system abstraction are covered, but the emphasis rests squarely on circuit design. Examples are drawn from processors designed at AMD, Digital/Compaq, IBM, Intel, MIPS, Mitsubishi, and Motorola. Each topic of this invaluable reference snds alone so the chapters can be read in any order. The following topics are covered in depth: * Architectural constraints of CMOS VLSI design* Technology scaling, low-power devices, SOI, and process variations* Contemporary design styles including a survey of logic families, robust dynamic circuits, asynchronous logic, self-timed pipelines, and fast arithmetic units Latches, clocks and clock distribution, phase-locked and delay-locked loops* Register file, cache memory, and embedded DRAM design* High-speed signaling techniques and I/O design* ESD, electromigration, and hot-carrier reliability* CAD tools, including timing verification and the analysis of power distribution schemes* Test and testability Design of High-Performance Microprocessor Circuits assumes a basic knowledge of digital circuit design and device operation, and covers a broad range of circuit styles and VLSI design techniques. Packed with practical know-how, it is an indispensable reference for practicing circuit designers, architects, system designers, CAD tool developers, process technologists, and researchers. It is also an essential text for VLSI design courses."
Автор: A.R. Churchley Название: Microprocessor Based Protection Systems ISBN: 1851666117 ISBN-13(EAN): 9781851666119 Издательство: Springer Рейтинг: Цена: 34380.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Автор: Vojin G. Oklobdzija; Ram K. Krishnamurthy Название: High-Performance Energy-Efficient Microprocessor Design ISBN: 1441939466 ISBN-13(EAN): 9781441939463 Издательство: Springer Рейтинг: Цена: 20896.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
Microprocessors of today contain close to a billion transistors, while achieving the performance of super-computers just a decade ago. Designing such processors takes hundreds of people organized into large teams. High Performance Energy Efficient Microprocessor Design is written by the world's most prominent microprocessor design leaders from the industry and academia. It provides a complete coverage of all the aspects of a complex microprocessor design process from technology, power management, clocking, high-performance architecture, design methodologies, memory and I/O design, computer aided design, testing and design for testability. The chapters are written to provide the latest state of the art knowledge of particular aspects of microprocessor design, while including sufficient tutorial content in order to bring non-experts up to speed. High Performance Energy Efficient Microprocessor Design is intended to be a useful companion book for every design engineer working in the related areas and a source of technical information as well as a comprehensive reference in the field. It should also serve as the source book for technical and business managers involved in microprocessor based design and manufacture. The chapters are organized in a way which makes it possible to use this book as a textbook for graduate courses in advanced digital and system design. The book is intended to highlight practical problems encountered in designing state of the art processors, while yet covering fundamental principles that are independent of technology.
Автор: Andrew M. Veronis Название: The 68000 Microprocessor ISBN: 1468466496 ISBN-13(EAN): 9781468466492 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The Motorola MC68000 family of microprocessors is undoubtedly a revolu- tionary set of devices. The addressing modes and instructions are explained in Chapter 4, which includes helpful hints on how instructions can be used. Chapter 5 provides an in-depth description of additional instructions and numerous examples.
Автор: N.K. Sinha Название: Microprocessor-Based Control Systems ISBN: 9401085943 ISBN-13(EAN): 9789401085946 Издательство: Springer Рейтинг: Цена: 16979.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent advances in LSI technology and the consequent availability of inexpensive but powerful microprocessors have already affected the process control industry in a significant manner.
Описание: This text examines several leading-edge design and verification technologies that have been successfully applied to microprocessor systems for high-assurance applications at various levels. It includes many practical case studies.
Автор: Paul Chow Название: The MIPS-X RISC Microprocessor ISBN: 0792390458 ISBN-13(EAN): 9780792390459 Издательство: Springer Рейтинг: Цена: 25149.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Thomas Flik; G. Bisiani; Hans Liebig Название: 16-Bit-Microprocessor Systems ISBN: 3540151648 ISBN-13(EAN): 9783540151647 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In the last few years, a large number of books on microprocessors have appeared on the market. This puplication is organized as a textbook and is intended as a self-teaching course on 16-bit microprocessors for students of computer science and communications, design engineers and users in a wide variety of technical and scientific fields.
Автор: Warren A. Jr. Hunt Название: FM8501: A Verified Microprocessor ISBN: 3540579605 ISBN-13(EAN): 9783540579601 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The FM 8501 microprocessor was created to express user-level specifications and design implementations using a formal logic. The author of this monograph explains how its original implementation model, although inadequate for hardware design, inspired his own verification methodology.
Автор: Gianni Conte; Dante del Corso Название: Multi-Microprocessor Systems for Real-Time Applications ISBN: 9027720541 ISBN-13(EAN): 9789027720542 Издательство: Springer Рейтинг: Цена: 30606.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book is intended to provide basic concepts and design methodologies for engineers and researchers involved in the development of mul tiprocessor systems and/or of appl ications based on multiprocessor architectures.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
