Processor Verification

Hi All :
This thread is very helpful. I was wondering if there are any good papers in this area, or any recommendation/challenge here ? I have read Mentor Graphic J chan’s paper regarding using OVM to model ISG.
Thanks in advance