1. Adir, A., Almog, E., Fournier, L., Marcus, E., Rimon, M., Vinov, M., Ziv, A.: Genesys-pro: innovations in test program generation for functional processor verification. Des. Test Comput. 21, 84–93 (2004)
2. MicroTESK page.
http://forge.ispras.ru/projects/microtesk
3. RAVEN test program generator.
http://www.slideshare.net/DVClub/introducing-obsidian-software-andravengcs-for-powerpc
4. Mishra, P., Dutt, N. (eds.): Processor Description Languages. Systems on Silicon. Morgan Kaufmann, San Francisco (2008). 432 pages
5. Freericks, M.: The nML machine description formalism. Technical report TR SM-IMP/DIST/08, TU Berlin CS Department (1993)