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