Code: 44544841
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 instruct ... more
English
123.22 €
RRP: 133.53 €
You save 10.30 €

You get 299 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer hardware Embedded systems
123.22 €
English
Collection points Bratislava a 12797 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25598 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)Shopping cart ( Empty )