vladimir herdt

Grid   List

  1. Complete Symbolic Simulation of SystemC Models
    Complete Symbolic Simulation of SystemC Models
    Vladimir Herdt
    Springer Fachmedien Wiesbaden
    Ebook
    Sofort lieferbar
    In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach co...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Enhanced Virtual Prototyping
    Enhanced Virtual Prototyping
    Vladimir Herdt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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, ...
    90,94 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Verbessertes virtuelles Prototyping
    Verbessertes virtuelles Prototyping
    Vladimir Herdt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    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 ...
    69,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Enhanced Virtual Prototyping
    Enhanced Virtual Prototyping
    Vladimir Herdt
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    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 method...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  5. Enhanced Virtual Prototyping
    Enhanced Virtual Prototyping
    Vladimir Herdt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    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 method...
    90,94 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  6. Verbessertes virtuelles Prototyping
    Verbessertes virtuelles Prototyping
    Vladimir Herdt
    Springer International Publishing, Springer Nature Switzerland
    Buch
    Bezug 11-15
    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 Schwerpun...
    89,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  7. Complete Symbolic Simulation of SystemC Models
    Complete Symbolic Simulation of SystemC Models
    Vladimir Herdt
    Springer Fachmedien Wiesbaden, Springer Fachmedien Wiesbaden
    Taschenbuch
    Bezug 16-20
    In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>