Add Wish List Add to Cart The item has been added Complete Symbolic Simulation of SystemC Models In hismaster thesis, Vladimir Herdt presents a novel approach, called completesymbolic simulation, for a more efficient verification ofmuch larger (non-terminating) SystemC programs. Theapproach... RRP: $122.00 Add to Cart The item has been added