Search Results - Herdt, Vladimir

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs by Herdt, Vladimir

    Published: Springer Vieweg, 2016
    Description: 1 online resource (xix, 162 pages) : illustrations.
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs
  2. 2

    Enhanced virtual prototyping : featuring RISC-V case studies by Herdt, Vladimir, Grosse, Daniel, Drechsler, Rolf

    Published: Springer, 2021
    Description: 1 online resource (257 pages)
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Enhanced virtual prototyping : featuring RISC-V case studies

Search Tools: