Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Enhanced Virtual Prototyping

Name: Enhanced Virtual Prototyping
Brand: Springer Nature Switzerland AG
SKU: 33294730
Price: 668.34 RON
Availability: InStock
Author: Rolf Drechsler
ISBN: 9783030548278

Rolf Drechsler

Daniel Große

Limba

engleză

Carte Copertă tare

Codul Libristo: 33294730

Editura Springer Nature Switzerland AG, octombrie 2020

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... Descrierea completă

Codul Libristo: 33294730

309 b

668.34 lei

În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

15 Jahre Nika Lubitsch

Carte broșată

62.39 lei

6824L MANCHE Carte

binding.

301.09 lei

Bracelet Améthyste Perles rondes 8 mm

binding.

32.44 lei

Colis j'ai lu relais h stephen king 1995 21vols Carte

binding.

832.56 lei

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtual Prototype (VP)-based design flow. The authors emphasize automated formal verification methods, as well as advanced coverage-guided analysis and testing techniques, tailored for SystemC-based VPs and also the associated Software (SW). Coverage also includes VP modeling techniques that handle functional as well as non-functional aspects and also describes correspondence analyses between the Hardware- and VP-level to utilize information available at different levels of abstraction. All approaches are discussed in detail and are evaluated extensively, using several experiments to demonstrate their effectiveness in enhancing the VP-based design flow. Furthermore, the book puts a particular focus on the modern RISC-V ISA, with several case-studies covering modeling as well as VP and SW verification aspects.