ZX Spectrum: аппаратная реализация на восьми микросхемах

[Lisitsin]

Пока failed. Прошли меньше 0,5% от DAA. Может исключить IX, IY, SP? И ещё: я тут подумал, если ошибка при возникновении накапливается, может найти где она начинается? могу запуститься по содержимому BC сразу с половины, четверти/трёх четвёртых и т д трейсинга.

[Lisitsin]

Начиная с BC=8000:

[Higgins]

TRACE_DAA_00A2.zip

Здесь проходим все.

TRACE_DAA_8000.zip

К моменту BC=#8000 контрольная сумма уже отличается, то есть ошибка где-то раньше.

Предложение такое: мы уже занем, что оснастка работает как положено. В каждой итерации она исполняется одинаково. Поэтому можно оставить только состояние до и после "DAA". Формально условие будет такое: (PC=#86E7 ИЛИ PC=#86E8). Если объем вывода существенно влияет на время сбора трейсинга, можно оставить только значения для AF.

[Lisitsin]

Здесь проходим все.
Предложение такое: мы уже занем, что оснастка работает как положено. В каждой итерации она исполняется одинаково. Поэтому можно оставить только состояние до и после "DAA". Формально условие будет такое: (PC=#86E7 ИЛИ PC=#86E8). Если объем вывода существенно влияет на время сбора трейсинга, можно оставить только значения для AF.

Получается что-то типа этого: (начало с BC=0100)

[Higgins]

TRACE_DAA_0100.zip

Отлично, попалась на строке 1570. На входе AF=#0410, на выходе ошибочное AF=#6A2D вместо правильного AF=#0A0C.

Насчет #6A вместо #0A: #60 нужно добавлять только если CF взведен или A >= #9A. В последнем случае CF на выходе следует взвести (тогда в F получим правильное #xD вместо имеющегося #xC).

Насчет взведенного флага 5: это может быть из-за ошибочно добавленного #60 к результату. Если нет, то во флаги 3 и 5 следует скопировать соответствующие разряды результирующего значения регистра A.

[Lisitsin]

На входе AF=#0410, на выходе ошибочное AF=#6A2D вместо правильного AF=#0A0C.

Не понял ... На входе AF=0410, т. е. С=0, N=0, H=0. A=04 - добавлять нужно 00.

[Higgins]

Не понял ... На входе AF=0410, т. е. С=0, N=0, H=0. A=04 - добавлять нужно 00.

В данном случае добавляем #06 из-за взведенного HF.

Если на входе CF взведен или регистр A больше или равен #9A, то следует a) добавить #60 и b) взвести CF.

Далее, если взведен HF или четыре младших разряда A больше или равны 10, тогда добавляем #06 (возможно, к дополнение к ранее добавленным #60).

Далее, если NF взведен, тогда эти #60 и #06 следует не добавлять к A, а вычитать из A.

Как считать HF уже выяснили. Про CF сказано выше. NF не меняем. PF считаем как флаг четности. ZF взводим если результат в A получился нулевым. Про флаги 3 и 5 тоже сказано выше. Вроде бы все, что нужно.

[Lisitsin]

Точно. Н=1. Но тогда я вообще не понимаю. Я пользовался при генерировании DAA вложением. Так вот там эта ситуация (Н=1, С=0, N=0, А=04) - вообще не определена. Значит там где-то ошибка?

[Lisitsin]

В данном случае добавляем #06 из-за взведенного HF.

Если на входе CF взведен или регистр A больше или равен #9A, то следует a) добавить #60 и b) взвести CF.

Далее, если взведен HF или четыре младших разряда A больше или равны 10, тогда добавляем #06 (возможно, к дополнение к ранее добавленным #60).

Далее, если NF взведен, тогда эти #60 и #06 следует не добавлять к A, а вычитать из A.

Как считать HF уже выяснили. Про CF сказано выше. NF не меняем. PF считаем как флаг четности. ZF взводим если результат в A получился нулевым. Про флаги 3 и 5 тоже сказано выше. Вроде бы все, что нужно.

Переделаю всё заново. В документацию веры нет. Да здравствует здравая логика !!!

[Lisitsin]

P A S S E D !
Вот они, результаты работы с умным человеком !