Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Enhanced Virtual Prototyping : Featuring RISC-V Case Studies - Vladimir Herdt

Enhanced Virtual Prototyping

Featuring RISC-V Case Studies

By: Vladimir Herdt, Daniel Große, Rolf Drechsler

eText | 14 October 2020

At a Glance

eText

$129.00

or 4 interest-free payments of $32.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

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.

on
Desktop
Tablet
Mobile

You Can Find This eBook In

Non-FictionEngineering & TechnologyElectronics & Communications EngineeringElectronics EngineeringCircuits & ComponentsEnergy Technology & EngineeringElectrical EngineeringComputing & I.T.Computer HardwareEmbedded SystemsComputer ScienceReference, Information & Interdisciplinary Subjects
Research & InformationInformation theoryCybernetics & Systems TheoryLibrary & Info SciencesLibrary & Information Services

More in Circuits & Components

This product is categorised by