Qualifying precision of abstract SystemC models using the SystemC Verification Standard | IEEE Conference Publication | IEEE Xplore