Kategoria BISAC: Technology & Engineering >> Electronics - Circuits - General

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip digital devices are addressed. Featured verification approaches are based on symbolic execution of simulated hardware devices or on classical discrete execution of the whole system with dynamic data flow tracking. The approaches are accompanied by Case-Studies that develop and build on top of...

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features should provide for highest reliability. With this third edition of Software Design for Resilient Computer Systems, the book is thoroughly updated to contain the newest advice regarding software resilience. With a new introductory chapter, the new edition is ideal for researchers and industry professionals.

In the book, the authors first show how system software interacts with the hardware to tolerate faults. They analyze and further develop the...

This book provides readers with an accessible and up-to-date introduction to the field of low-field MRI, which is currently seeing a resurgence in both research and commercial activity. It begins by presenting a historical overview of MRI system design and discussing current developments. It then analyzes the underlying physics of MRI from a semi-classical perspective before describing the major hardware components of low-field scanners (including the magnet, coils, transmitters, receivers, gradient systems, and digital processors) in detail. Several examples of each component are...