Search all library resources

Automated analysis of virtual prototypes at the electronic system level : design understanding and applications

This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process. Provides an extensive introduction to the field of SystemC-based virtual prototype (VP) analysis at the electronic system level; Describes a design understanding methodology from both debugger-based and compiler-based perspectives; Illustrates a semi-formal verification approach to check the validity of a given VP against its specification, user-defined rules and protocol; Discusses a security validation approach to validate the run-time behavior of a given VP-based SoC against security threat models, such as information leakage (confidentiality) and unauthorized access to data in a memory (integrity); Describes a design space exploration approach for SystemC-based VPs to guide designers to know under which error limits, different portions of a given VP can be approximated at different granularity levels.This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process.

Online SpringerLink

Virtual prototyping [microform] : concept to production

Virtual prototyping : virtual environments and the product design process

Virtual prototyping is a major application of a virtual environment within the product development process. this book explores the concepts, tools, interaction, and simulation used with virtual prototypes and environments. The book contains the selected proceedings of two recent conferences: "Virtual Environments and their Applications", held in Coimbra, Portugal, in October 1994, and "Virtual Prototyping", held in Providence, USA, in September 1994. Both conferences were co-organized by the International Federation for Information Processing. Virtual environments have enormous potential for future applications in industry, and this book should be of interest to all those involved in manufacturing, both manufacturers and suppliers. Vendors for hardware and software, and research institutes and universities dealing with engineering, design, computer science and mathematics, will also find the book of interest.