About Us

Home / About Us

Microprocessor Verification Group

We are Microprocessor Verification Group (MVG), a subdivision of Software Engineering Department (SED) of Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). Since 2005, our group has been doing R&D in the field of hardware verification and testing.

Our experience includes (but not limited to):

  • Microprocessor test program generation
  • Cache coherence protocol verification
  • Hardware testbench automation
  • Hardware reverse engineering
  • Hardware model checking