Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard.

Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates

Browse the full DATE paper archive.