Microprocessor System (EKT222/4)

Analog Interfacing to Embedded Microprocessors addresses the technologies and methods used in interfacing analog devices to microprocessors, providing in-depth coverage of practical control applications, op amp examples, and much more. A companion to the author's popular Embedded Microprocessor Systems: Real World Design, this new embedded systems book focuses on measurement and control of analog quantities in embedded systems that are required to interface to the real world. At a time when modern electronic systems are increasingly digital, a comprehensive source on interfacing the real world to microprocessors should prove invaluable to embedded systems engineers, students, technicians, and hobbyists. Anyone involved in connecting the analog environment to their digital machines, or troubleshooting such connections will find this book especially useful. Stuart Ball is also the author of Debugging Embedded Microprocessor Systems, both published by Newnes. Additionally, Stuart has written articles for periodicals such as Circuit Cellar INK, Byte, and Modern Electronics.

Microprocessors increasingly control and monitor our most critical systems, including automobiles, airliners, medical systems, transportation grids, and defense systems. The relentless march of semiconductor process technology has given engineers exponentially increasing transistor budgets at constant recurring cost. This has encouraged increased functional integration onto a single die, as well as increased architectural sophistication of the functional units themselves. Additionally, design cycle times are decreasing, thus putting increased schedule pressure on engineers. Not surprisingly, this environment has led to a number of uncaught design flaws. Traditional simulation-based design verification has not kept up with the scale or pace of modern microprocessor system design. Formal verification methods offer the promise of improved bug-finding capability, as well as the ability to establish functional correctness of a detailed design relative to a high-level specification. However, widespread use of formal methods has had to await breakthroughs in automated reasoning, integration with engineering design languages and processes, scalability, and usability. This book presents several breakthrough design and verification techniques that allow these powerful formal methods to be employed in the real world of high-assurance microprocessor system design.

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.