Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Verbessertes virtuelles Prototyping

Name: Verbessertes virtuelles Prototyping
Brand: Springer Vieweg
SKU: 44818780
Price: 77.5 EUR
Availability: InStock
Author: Vladimir Herdt
ISBN: 9783031181740

Mit RISC-V-Fallstudien

Vladimir Herdt

Daniel Groe

Rolf Drechsler

Língua

Alemão

E-book Adobe ePub DRM

Editoras Springer Vieweg, janeiro 2023

Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines moderne... Descrição completa

Código Libristo: 44818780

188 b

77.50 €

Em stock Imediatamente descarregável

Os clientes também compraram

Preparacion y servicio de bebidas y comidas rapidas en el bar. HOTR0208 Matilde Laura Charquero Gomez

Adobe ePub DRM

12.51 €

El misterio de la cabala Mario Saban

Adobe ePub DRM

11.50 €

Pelin henki Masalin

MP3

6.85 €

Run Blake Crouch

Capa mole

16.04 €

Mathematical Quantum Physics Gabriele Nunzio Tornetta

Capa mole

100.51 €

El encuentro Gianfranco Ravasi

Adobe ePub DRM

8.87 €

TRASTORNO DEL ESPECTRO AUTISTA MANUAL DE DIAGNOSTICO OJEA RUA

Capa mole

21.89 €

Con Los Ojos Hacia El Sol Soledad Tovar Saenz

Adobe ePub DRM

4.33 €

Tensión y significación Jacques Fontanille

Adobe ePub DRM

5.14 €

Catalogue of Plaster Cast Reproductions From Antique, Medieval and Modern Sculpture. P P Caproni & Brother

Capa mole

20.18 €

L'ABCdaire de l'impressionnisme Madeline

Capa mole

7.16 €

Funtunfunefu 'Synched' Maysura Asher Farzia

Capa mole

15.33 €

Nová matematika v kostce pro SŠ Helena Sixtová

Capa mole

8.37 €

Lapselenni Sri Mata Amritanandamayi Devi

Capa mole

13.01 €

Love and freindship and other early works. By: Jane Austen and G. K. Chesterton Jane Austen

Capa mole

11.80 €

Roman de la rose in its Philosophical Context Morton

Livro de capa dura

153.20 €

Chemical Questions and Problems Charles Smith Boynton

Capa mole

12.61 €

Madrugada Julio César Álvarez Arias

Capa mole

19.17 €

Efectividad de La Politica Fiscal Mario Andrés Contreras Jaramillo

Capa mole

25.93 €

Rosalynd Thomas Lodge

Capa mole

36.93 €

Permaculture Jan Martin Bang

Capa mole

13.51 €

Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs verbessern. Die Autoren legen den Schwerpunkt auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehorige Software (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und VP-Ebene, um die auf verschiedenen Abstraktionsebenen verfugbaren Informationen zu nutzen. Alle Ansatze werden ausfuhrlich diskutiert und anhand mehrerer Experimente evaluiert, um ihre Effektivitat bei der Verbesserung des VP-basierten Entwurfsablaufs zu demonstrieren. Daruber hinaus legt das Buch einen besonderen Schwerpunkt auf den modernen RISC-V ISA, mit mehreren Fallstudien, die sowohl Aspekte der Modellierung als auch der VP- und SW-Verifikation abdecken.