Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Enhanced Virtual Prototyping

Name: Enhanced Virtual Prototyping
Brand: Springer
SKU: 41007756
Price: 85.38 EUR
Availability: InStock
Author: Vladimir Herdt
ISBN: 9783030548285

Featuring RISC-V Case Studies

Vladimir Herdt

Daniel Groe

Rolf Drechsler

Língua

Inglês

E-book Adobe ePub DRM

Código Libristo: 41007756

Editoras Springer, outubro 2020

This book presents a comprehensive set of techniques that enhance all key aspects of a modern Virtua... Descrição completa

Código Libristo: 41007756

207 b

85.38 €

Em stock Imediatamente descarregável

Os clientes também compraram

Marabu Sada barev na textil ve spreji - Cool Denim

binding.

13.95 €

El conde de Cervelló y la creación literaria del siglo XVIII AMPARO FELIPO

CD de áudio

20.83 €

Theatre Complet de Brieux. Tome 1 BRIEUX-E

Capa mole

10.82 €

Dragona Xavier Queipo

Capa mole

18.91 €

Institutionen und politische Okonomie Pablo Peyrolon

Adobe ePub DRM

4.54 €

Wintergrillen Tom Heinzle

Adobe ePub DRM

15.98 €

Noul Dictionar Universal al limbii romane Ioan Oprea

Adobe ePub DRM

31.76 €

Kennedy Renasce Greg Alldredge

Adobe ePub DRM

4.04 €

Kompass DaF B2 - Hybride Ausgabe allango

Capa mole

46.63 €

Justicia y salud. Pautas distributivas para la atención médica Ana Regina Luevano Cayon

Adobe ePub DRM

13.14 €

C niin kuin Callahan Grafton

MP3

7.98 €

Scènes enfantines Melanie Spanswick

Partituras

12.03 €

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.