Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Complete Symbolic Simulation of SystemC Models

- Efficient Formal Verification of Finite Non-Terminating Programs

enthalten in BestMasters-Reihe

Über Complete Symbolic Simulation of SystemC Models

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9783658126797
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 162
  • Veröffentlicht:
  • 17. März 2016
  • Ausgabe:
  • 12016
  • Abmessungen:
  • 210x148x11 mm.
  • Gewicht:
  • 2454 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von Complete Symbolic Simulation of SystemC Models

In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs.

Kund*innenbewertungen von Complete Symbolic Simulation of SystemC Models



Ähnliche Bücher finden
Das Buch Complete Symbolic Simulation of SystemC Models ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.