Skip to main content

License single eBooks

Your results

Search and filter

Showing 1 - 1 of 1
0 eBooks €0

  • Featuring RISC-V Case Studies
    Vladimir Herdt; Daniel Große; Rolf Drechsler
    978-3-030-54828-5
    2021
    Edition 1
    • Provides a comprehensive set of techniques to enhance all key aspects of a Virtual Prototype (VP)-based design flow
    • Includes automated formal verification methods and advanced coverage-guided testing techniques, tailored for SystemC-based VPs
    • Describes efficient, coverage-guided test generation methods for VP-based functional and non-functional software (SW) analysis and verification
    • Includes correspondence analyses to utilize information between different abstraction levels in the design flow
    • Uses several VP and SW verification case-studies that target the modern RISC-V ISA

    €170

Is this helpful?

Survey

Survey to collect feedback on the helpfulness of this page.

Survey

Survey to collect feedback on the helpfulness of this page.