Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Name: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Brand: Springer, Berlin
SKU: 9783031516917
Price: 126.19 EUR
Availability: InStock

Better Early than Never

Автор: Pascal Pieper, Rolf Drechsler

Език:

Корици: С твърди корици

Издател: Springer, Berlin

Наличност: Външен склад

Изпращаме след 10-13 дни

126.19 € 246.81 лв

This book deals with formal and practical approaches for fast modeling and verification of complex d...

Информация за книгата

Автор

Pascal Pieper, Rolf Drechsler

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2024

страници

215

EAN

9783031516917

Enbook ID

44544841

Издател

Springer, Berlin

Теглоt

453

Размери

155 x 235

Пълно описание

This book deals with formal and practical approaches for 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. Verification approaches are based on both symbolic execution of simulated hardware devices and classical discrete execution of the whole system with dynamic data flow tracking to analyze security policy rules. Case-Studies are conducted by developing and building on top of an open-source RISC-V SoC simulation.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Better Early than Never

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също