Code-coverage Based Test Vector Generation for SystemC Designs | IEEE Conference Publication | IEEE Xplore