Code-coverage Based Test Vector Generation for SystemC Designs. - Alair Dias Jr.; Diógenes Cecilio da Silva Jr. (ISVLSI, 2007)