Some Papers on Microprocessor and Hardware Verification

Note: This list is evolving. Whenever I read a paper that I like, I tend to put it here. If you see an interesting paper on the topic missing from the list or if you find errors in the information on any of the papers provided here, then I will appreciate if you let me know.