Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Enhanced Virtual Prototyping

Name: Enhanced Virtual Prototyping
Brand: Springer
SKU: 41007756
Price: 35265 HUF
Availability: InStock
Author: Vladimir Herdt
ISBN: 9783030548285

Featuring RISC-V Case Studies

Vladimir Herdt

Daniel Groe

Rolf Drechsler

Language

English

E-book Adobe ePub DRM

Libristo code: 41007756

Publishers Springer, October 2020

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... Full description

Libristo code: 41007756

241 b

35 265 Ft

In stock Immediate digital delivery

Customers also purchased

Marabu Sada barev na textil ve spreji - Cool Denim

binding.

5 907 Ft

El conde de Cervelló y la creación literaria del siglo XVIII AMPARO FELIPO

Audio CD

8 999 Ft

Theatre Complet de Brieux. Tome 1 BRIEUX-E

Paperback

4 867 Ft

Dragona Xavier Queipo

Paperback

8 398 Ft

Institutionen und politische Okonomie Pablo Peyrolon

Adobe ePub DRM

1 890 Ft

Wintergrillen Tom Heinzle

Adobe ePub DRM

6 623 Ft

Noul Dictionar Universal al limbii romane Ioan Oprea

Adobe ePub DRM

13 251 Ft

Kennedy Renasce Greg Alldredge

Adobe ePub DRM

1 673 Ft

Kompass DaF B2 - Hybride Ausgabe allango

Paperback

20 008 Ft

Justicia y salud. Pautas distributivas para la atención médica Ana Regina Luevano Cayon

Adobe ePub DRM

5 454 Ft

C niin kuin Callahan Grafton

MP3

3 369 Ft

Scènes enfantines Melanie Spanswick

Sheet music

5 422 Ft

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.