The SECD Microprocessor, Brian T. Graham

Автор: Anantha Chandrakasan
Название: Design of High-Performance Microprocessor Circuits
ISBN: 078036001X ISBN-13(EAN): 9780780360013
Издательство: Wiley
Рейтинг:
Цена: 231210.00 T
Наличие на складе: Поставка под заказ.
Описание: "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
Рейтинг:
Цена: 229200.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Paul Chow
Название: The MIPS-X RISC Microprocessor
ISBN: 0792390458 ISBN-13(EAN): 9780792390459
Издательство: Springer
Рейтинг:
Цена: 167660.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Warren A. Jr. Hunt
Название: FM8501: A Verified Microprocessor
ISBN: 3540579605 ISBN-13(EAN): 9783540579601
Издательство: Springer
Рейтинг:
Цена: 65210.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 204040.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: C.J. Georgopoulos
Название: Interface Fundamentals in Microprocessor-Controlled Systems
ISBN: 9027721270 ISBN-13(EAN): 9789027721273
Издательство: Springer
Рейтинг:
Цена: 223610.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There is nO' dDubt that the mioroprooessor ( p) revDlutiDn will cDntinue intO' the future and many will be required to' specify and integrate mi- crDprDceSSDrs intO' prDducts Dr systems in their Dwn disciplines. There- fDre, well-designed flexible interfaoes will be required to' ensure CDm- patibility with Dther equipments and to' extend design DptiDns. AlthDugh there are several bDDks Dn micrDcDmputers and micrDprDcessDrs, Dnly few Df thDse devDte but a small part Dn the impDrtant aspects Df interfaces. It was with this in mind that the present bDDk was written as a selfcDn- tained vDlume to' be part Df the mDre general series: Mioroprooessors- Based Systems Engineering. It fills an existing gap in technDIDgy, as in- terfaces are the last items to' be seriDusly cDnsidered in the race Df new technDIDgy, and it deals with the systematic study Df micrDprDcessDr interfaces and their applicatiDns in many diversified fields. This bDDk is aimed at engineers in industry and engineering stu- dents whO' need to' learn hDW to' interface micrDprDcessDrs, and hence mi- crDcDmputers and Dther related equipments, to' external digital Dr analDg devices. It is suitable fDr use as a textbDDk Dr fDr supplementary read- ing, either in an applied undergraduate CDurse in electrical engineering Dr in the last year Df three-year-curriculum technical cDlleges.

Автор: Brian T. Graham
Название: The SECD Microprocessor
ISBN: 0792392450 ISBN-13(EAN): 9780792392453
Издательство: Springer
Рейтинг:
Цена: 130390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: David S. Hardin
Название: Design and Verification of Microprocessor Systems for High-Assurance Applications
ISBN: 1441915389 ISBN-13(EAN): 9781441915382
Издательство: Springer
Рейтинг:
Цена: 174150.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 139310.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:

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
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.

Автор: David S. Hardin
Название: Design and Verification of Microprocessor Systems for High-Assurance Applications
ISBN: 1489984593 ISBN-13(EAN): 9781489984593
Издательство: Springer
Рейтинг:
Цена: 156720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.