Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Herdt, Vladimir,
1 2016 Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs Herdt, Vladimir, author Wiesbaden : Springer Vieweg, 2016 Rating: Electronic Resources More...
2 2021 Enhanced virtual prototyping : featuring RISC-V case studies Herdt, Vladimir, author Cham, Switzerland : Springer, [2021] Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Complete symbolic simulation of SystemC models : efficient formal verification of finite non-terminating programs