Wyniki wyszukiwania:
wyszukanych pozycji: 4
 |
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies
ISBN: 9783030548278 / Angielski / Twarda / 2020 / 247 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
483,04 |
 |
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs
ISBN: 9783658126797 / Angielski / Miękka / 2016 / 162 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larger (non-terminating) SystemC programs. The approach combines symbolic simulation with stateful model checking and allows to verify safety properties in (cyclic) finite state spaces, by exhaustive exploration of all possible inputs and process schedulings. The state explosion problem is alleviated by integrating two complementary reduction techniques. Compared to existing approaches, the complete symbolic simulation works more efficiently, and... In his master thesis, Vladimir Herdt presents a novel approach, called complete symbolic simulation, for a more efficient verification of much larg... |
cena:
201,24 |
 |
Enhanced Virtual Prototyping: Featuring Risc-V Case Studies
ISBN: 9783030548308 / Angielski / Miękka / 2021 / 272 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) |
cena:
342,14 |
 |
Verbessertes virtuelles Prototyping: Mit RISC-V-Fallstudien
ISBN: 9783031181733 / Niemiecki / Twarda / 2023 / 262 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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 Analyse- und Testtechniken, die auf SystemC-basierte VP und die zugehörige Software (SW) zugeschnitten sind. Die Abdeckung umfasst auch VP-Modellierungstechniken, die sowohl funktionale als auch nicht-funktionale Aspekte behandeln, und beschreibt zudem Korrespondenzanalysen zwischen der Hardware- und...
Dieses Buch stellt eine umfassende Reihe von Techniken vor, die alle wichtigen Aspekte eines modernen Virtual Prototype (VP)-basierten Entwurfsablaufs...
|
cena:
338,56 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
