Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Enhanced Virtual Prototyping

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

Rolf Drechsler

Daniel Große

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 33294730

Nakladatelství Springer Nature Switzerland AG, říjen 2020

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... Celý popis

Libristo kód: 33294730

276 b

2 762 Kč

Skladem u dodavatele Odesíláme za 10-13 dnů

30 dní na vrácení zboží

Zákazníci také koupili

15 Jahre Nika Lubitsch

Brožovaná

288 Kč

6824L MANCHE Kniha

binding.

1 390 Kč

Bracelet Améthyste Perles rondes 8 mm

binding.

150 Kč

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

binding.

3 844 Kč

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.