MicroTESK: Automated Architecture Validation Suite Generator for Microprocessors Author(s): Mikhail Chupilko, Alexander Kamkin, Alexander Protsenko, Sergey Smolov, and Andrei Tatarnikov Download