Functional Verification for SystemC Descriptions Using Constraint Solving. - Fabrizio Ferrandi; Michele Rendine; Donatella Sciuto (DATE, 2002)