Design and Verification of Microprocessor Systems for High-Assurance Applications, David S. Hardin
Автор: 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."
Автор: 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.
Автор: Bibiche Geuskens; Kenneth Rose Название: Modeling Microprocessor Performance ISBN: 1461375436 ISBN-13(EAN): 9781461375432 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Modeling Microprocessor Performance focuses on the development of a design and evaluation tool, named RIPE (Rensselaer Interconnect Performance Estimator).
Описание: 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.
Автор: Thomas D. Burd; Robert W. Brodersen Название: Energy Efficient Microprocessor Design ISBN: 1461352827 ISBN-13(EAN): 9781461352822 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume starts with a description of the metrics and benchmarks used to design energy-efficient microprocessor systems, followed by energy-efficient methodologies for the architecture and circuit design, DC-DC conversion, energy-efficient software and system integration.
Автор: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
