Validation of Turandot, a fast processor model for microarchitecture exploration | IEEE Conference Publication | IEEE Xplore