Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. - Franco Carbognani; Christopher K. Lennard; C. Norris Ip; Allan Cochrane; Paul Bates (DATE, 2003)