Помню кто-то писал что разложил все инструкции на базовые и написал эмулятор проца на основе своеобразной машины Тьюринга, т.е. в виде микрокода и его интерпретатора. И якобы эта реализация учитывала особенности F3 и F5 флагов и последовательность операций внутри инструкции (обращение к памяти/портам на правильном такте и тп).
Интересно было бы познакомиться с этим кодом, если он есть