MicroTESK for PowerPC is a MicroTESK based instruction stream generator (ISG) aimed at function verification of PowerPC microprocessors. More precisely, this research project focuses on the PowerISA v.2.06 ISA and the e500mc CPU (NXP Semiconductors).
Licensing and Distribution¶
The MicroTESK for PowerPC package (consisting of the MicroTESK core, the PowerPC specifications, and the basic test templates) is distributed under the Apache License, Version 2.0, which implies the freedom to use the software for any purpose (to distribute it, to modify it and to distribute modified versions of the software) under the terms of the license, but requires preservation of the copyright notice and disclaimer.
More facilities can be developed on a commercial basis. We are open for collaboration!
|Office||25 Alexander Solzhenitsyn st., rooms 210/211, Moscow, 109004, Russia|
MicroTESK for PowerPC 0.0.4 released
MicroTESK for PowerPC 0.0.4 has been released.
MicroTESK for PowerPC 0.0.* re-uploaded
MicroTESK for PowerPC 0.0.* packages have been re-uploaded.