We present a technology for creating test program generators for microprocessors and share our 10-years experience in that area. The technology is described on the example of MIPS, being, however, applicable to a wide range of computer architectures. We believe that our experience is of interest to people from the microprocessor design industry and also to system programmers.
Leading Researcher, ISP RAS
Alexander Kamkin graduated from CMC MSU in 2003 and defended a PhD thesis at ISP RAS in 2009. Now he is a leading researcher at ISP RAS (specializing in microprocessor verification) and a manager of the MicroTESK project.