Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

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: 116.97 EUR
Availability: InStock
Author: Pascal Pieper
ISBN: 9783031516917

Better Early than Never

Pascal Pieper

Rolf Drechsler

Jezik

Angleščina

Knjiga Trda

Koda Libristo: 44544841

Založba Springer, Berlin, maj 2024

This book deals with formal and practical approaches for fast modeling and verification of complex d... Celoten opis

Koda Libristo: 44544841

283 b

116.97 €

Na zalogi pri dobavitelju Odposlali bomo v 10-13 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Peygamber Enokun Kitabi Kolektif

Mehka

21.87 €

Jetzt geht's! Rolf Reinlaßöder

Mehka

16.90 €

Jo Jordi Sierra i Fabra

Mehka

15.59 €

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

Mehka

21.16 €

Aspekte der Globalisierung Carl Baudenbacher

Trda

40.30 €

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer

Trda

36.45 €

Les musiciens de Brême

Preglednica

4.04 €

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

Mehka

27.23 €

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

Mehka

11.74 €

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

Trda

10.73 €

Merkmale der griechischen Kultur Tanja Berlin

Mehka

11.94 €

LA PORTE DU VOYAGE SANS RETOUR Diop

Mehka

27.34 €

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.