Генератор случайных процессорных архитектур для обучения системному программированию

Что нужно для масштабируемой проверки знаний и навыков будущих системных программистов? Нужно дать каждому студенту индивидуальные, нетривиальные, приближенные к практике задачи! Для этого было бы здорово автоматически синтезировать случайную процессорную архитектуру и предложить написать для нее ассемблер, дизассемблер, симулятор, … Проверку, разумеется, тоже будем делать автоматически. Насколько это вообще возможно осуществить? Об этом — в докладе.