An SPU reference model for simulation, random test generation and verification | IEEE Conference Publication | IEEE Xplore