Vladimir Herdt – författare
Visar alla böcker från författaren Vladimir Herdt. Handla med fri frakt och snabb leverans.
7 produkter
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Vladimir Herdt, Daniel Große m. fl.
Inbunden, 2020
1313 kr
Lägg i varukorg
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 …
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2020
1214 kr
Lägg i varukorg
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 …
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
Av Vladimir Herdt, Daniel Große m. fl.
Häftad, 2021
932 kr
Lägg i varukorg
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 …
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Av Vladimir Herdt, Daniel Große m. fl.
Inbunden, 2023
922 kr
Lägg i varukorg
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 auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete …
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
Av Rolf Drechsler, Daniel Groe m. fl.
E-bok, 2023
978 kr
Lägg i varukorg
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 auf automatisierte formale Verifikationsmethoden sowie auf fortgeschrittene, abdeckungsgeleitete …
Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
Häftad, 2016
568 kr
Lägg i varukorg
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 …
Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
E-bok, 2016
755 kr
Lägg i varukorg
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 …
