Общая концепция инструмента¶

1. Спецификация системы команд
2. Модель системы команд
3. База данных ограничений
4. Солверы ограничений
5. Шаблоны тестовых программ

После обработки шаблона тестовой программы получается программа на языке программирования (Ruby, Java), которая генерирует тестовую программу, обращаясь через API к генератору. Генератор знает архитектурные особенности целевого микропроцессора и содержит базу данных ограничений (которые он умеет разрешать, используя солверы).