I have developed a simulator for the 8051, and I think it works o.k. You can use it as an additional reference.

Its name is UVI51 and you can find it (free) in the site of the Electronic Technology Dpt. (University of Vigo, Spain):

www.dte.uvigo.es