Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
Autor Vladimir Herdt
29 mar 2016
Paperback
Preț: 313.74 lei 392.17 lei
43-57 zile
-20%
Cărți de Vladimir Herdt
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Autor Vladimir Herdt et al.
16 oct 2021
Paperback
Preț: 560.36 lei 659.25 lei
43-57 zile
-15%