SUMMARYVeriÿcation testing was performed for various Reynolds-averaged Navier-Stokes methods for uniform ow past a circular cylinder at Re = 5232. The standard and renormalized group (RNG) versions of the k-method were examined, along with the Boussinesq, Speziale and Launder constitutive relationships. Wind tunnel experiments for ow past a circular cylinder were also performed to obtain a comparative data set. Preliminary studies demonstrate poor convergence for the Speziale relationship.Veriÿcation testing with the standard and RNG k-models suggests that the simulations exhibit global monotonic convergence for the Boussinesq models. However, the global order of accuracy of the methods was much lower than the expected order of accuracy of 2. For this reason, pointwise convergence ratios and orders of accuracy were computed to show that not all sampling locations had converged (standard k-model: 19% failed to converge; RNG k-model: 14% failed to converge). When the non-convergent points were removed from consideration, the average orders of accuracy are closer to the expected value (standard k-model: 1.41; RNG k-model: 1.27). Poor iterative and global grid convergence was found for the RNG k-=Launder model. The standard and RNG k-models with the Boussinesq relationship were compared with experimental data and yielded results signiÿcantly di erent from the experiments.