Click here to read the paper of Processor Verification at IBM presented at DVClub in November 2010:

  • “Mainline Functional Verification of IBM’s POWER7 Processor Core”
  • John Ludden, Senior Technical Staff Member, Hardware Verification, IBM Systems & Technology Group