A Framework for the Functional Verification of SystemC Models

Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto. A Framework for the Functional Verification of SystemC Models. International Journal of Parallel Programming, 33(6):667-695, 2005. [doi]

Abstract

Abstract is missing.