Central Library

Your search returned 2 results. Subscribe to this search

Unhighlight Highlight
|
Complete Symbolic Simulation of SystemC Models [electronic resource] : Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt.

by Herdt, Vladimir [author.] | SpringerLink (Online service).

Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available

Enhanced Virtual Prototyping [electronic resource] : Featuring RISC-V Case Studies / by Vladimir Herdt, Daniel Große, Rolf Drechsler.

by Herdt, Vladimir [author.] | Große, Daniel [author.] | Drechsler, Rolf [author.] | SpringerLink (Online service).

Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available