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.

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes

Name: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes
Brand: Springer, Berlin
SKU: 44544841
Price: 2827 CZK
Availability: InStock
Author: Pascal Pieper
ISBN: 9783031516917

Better Early than Never

Pascal Pieper

Rolf Drechsler

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 44544841

Nakladatelství Springer, Berlin, květen 2024

This book deals with formal and practical approaches for fast modeling and verification of complex d... Celý popis

Libristo kód: 44544841

283 b

2 827 Kč

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

30 dní na vrácení zboží

Zákazníci také koupili

Peygamber Enokun Kitabi Kolektif

Brožovaná

529 Kč

Jetzt geht's! Rolf Reinlaßöder

Brožovaná

453 Kč

Jo Jordi Sierra i Fabra

Brožovaná

408 Kč

Introducción a la didáctica de la lengua y la literatura : un enfoque sociocrítico Eduardo Encabo Fernández

Brožovaná

511 Kč

Aspekte der Globalisierung Carl Baudenbacher

Pevná

1 083 Kč

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer

Pevná

881 Kč

Les musiciens de Brême

List

105 Kč

Méthode & Pratiques de la Prospective par les signaux faibles CAHEN

Brožovaná

721 Kč

grande rapina al treno. Ediz. ad alta leggibilità Federico Appel

Brožovaná

316 Kč

Ve svém živlu Vítek Formánek

Pevná

242 Kč

Merkmale der griechischen Kultur Tanja Berlin

Brožovaná

289 Kč

LA PORTE DU VOYAGE SANS RETOUR Diop

Brožovaná

723 Kč

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.