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