Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Better Early than Never

Pascal Pieper

Rolf Drechsler

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 44544841

Nakladateľstvo Springer, Berlin, máj 2024

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

Libristo kód: 44544841

299 b

123.53 €

Skladom u dodávateľa Odosielame za 10-13 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Peygamber Enokun Kitabi Kolektif

Brožovaná

23.06 €

Jetzt geht's! Rolf Reinlaßöder

Brožovaná

18.71 €

Jo Jordi Sierra i Fabra

Brožovaná

16.89 €

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

Brožovaná

22.35 €

Aspekte der Globalisierung Carl Baudenbacher

Pevná

44.71 €

Das Passionsspiel Von Vorderthiersee In Tirol (1905) Robert Weissenhofer

Pevná

36.41 €

Les musiciens de Brême

List

4.44 €

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

Brožovaná

29.84 €

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

Brožovaná

13.04 €

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

Pevná

9.30 €

Merkmale der griechischen Kultur Tanja Berlin

Brožovaná

12.64 €

LA PORTE DU VOYAGE SANS RETOUR Diop

Brožovaná

29.84 €

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.