Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes : Better Early than Never
Book Details
Format
Paperback / softback
ISBN-10
303151694X
ISBN-13
9783031516948
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Mar 26th, 2025
Print length
170 Pages
Product Classification:
Electronics engineeringCircuits & componentsElectronics: circuits and componentsEmbedded systems
KSh 19,800.00
Currently unavailable
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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 an open-source RISC-V SoC simulation. In Particular, this book:
Get Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes by Pascal Pieper, Rolf Drechsler at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has 170 pages.
Customers Who Bought This Also Bought
Lectures On White Noise Functionals
KSh 21,600.00
Ultra-Wideband Positioning Systems
KSh 12,050.00
Electronic Wastes
KSh 24,550.00
Electronic Wastes
KSh 24,550.00
Minimizing Uncertainty in the Design of Technical Systems
KSh 22,500.00
Advanced Automotive Electricity and Electronics
KSh 12,900.00
Formal Description Techniques and Protocol Specification, Testing and Verification
KSh 32,400.00
A Mind at Play
KSh 3,600.00
Renewable-Focused Operation and Control of Contemporary Power Systems
KSh 17,100.00
Building Your Own Electronics Lab
KSh 9,000.00
Synchronous Generators
KSh 30,950.00
Emissive Materials - Nanomaterials
KSh 45,000.00
More by Pascal Pieper, Rolf Drechsler
In-Memory Computing
KSh 16,200.00
Design for Testability, Debug and Reliability
KSh 18,000.00
Automated Analysis of Virtual Prototypes at the Electronic System Level
KSh 12,600.00
Reversible and Quantum Circuits
KSh 8,100.00
In-Memory-Computing
KSh 16,200.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
KSh 23,400.00
Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme
KSh 16,200.00
Towards a Design Flow for Reversible Logic
KSh 16,200.00
Enhanced Virtual Prototyping
KSh 19,800.00
Verbessertes virtuelles Prototyping
KSh 13,500.00
Noch analog oder lebst Du schon?
KSh 2,700.00
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
KSh 23,400.00
