Vladimir herdt (58 risultati)

Condizione: New.

Condizione: New. In English.

Condizione: New.

Condizione: New. pp. 162.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficientlyand therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.…

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: Brand New. 184 pages. 8.25x5.75x0.75 inches. In Stock.

Condizione: New. In English.

Taschenbuch. Condizione: Neu. Complete Symbolic Simulation of SystemC Models | Efficient Formal Verification of Finite Non-Terminating Programs | Vladimir Herdt | Taschenbuch | BestMasters | xix | Englisch | 2016 | Springer Gabler | EAN 9783658126797 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condizione: New.

Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach combines symbolic simulation with stateful model checking and allowsto verify safety properties in (cyclic) finite state spaces, by exhaustiveexploration of all possible inputs and process schedulings. The state explosionproblem is alleviated by integrating two complementary reduction techniques. Comparedto existing approaches, the complete symbolic simulation works more efficiently,and therefore can provide correctness proofs for larger systems, which is oneof the most challenging tasks, due to the ever increasing complexity.…

Condizione: As New. Unread book in perfect condition.

Taschenbuch. Condizione: Neu. Enhanced Virtual Prototyping | Featuring RISC-V Case Studies | Vladimir Herdt (u. a.) | Taschenbuch | xxi | Englisch | 2021 | Springer | EAN 9783030548308 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Condizione: New.

Condizione: New.

Condizione: New. In English.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Hardcover. Condizione: Brand New. 268 pages. 9.25x6.10x0.63 inches. In Stock.

Gebundene Ausgabe. Condizione: Neu. 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. Sprache: Englisch Gewicht in Gramm: 524.…

Hardcover. Condizione: New. NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New. In German.

Condizione: New.

Condizione: As New. Unread book in perfect condition.