Обработки неопределённости при одновременной записи по двум портам и последующем чтении

[dsmv]

No description provided.

[dsmv]

5f7fd0e

На диаграмме видна запись в один момент времени по двум портам. Далее идёт чтение. Видно что порт 1 успел прочитать значение 0xA020, далее - только 0xA220. Порт 2 - читает только 0xA220

В такой ситуации оба значения правильные. Но появление после 0xA220 старого значения 0xA020 уже недопустимо.

[dsmv]

35c817e
На тесте randomize выскакивает одна ошибка - скорее всего связана с неопроеделённостью при записи

[dsmv]

0267726
Увеличена задержка. При randomize_loop=100 тест проходит. При randomize_loop=1000 - ошибка. Проявились обе неопределённости одновременно - запись по двум портам и чтение сразу после записи. Похже что шести возможных значений не хватает. Нужно девять.

[dsmv]

Вот так на диаграмме выглядит место получения одной ошибки. Здесь установлен порог неопределённости в 16 тактов, ошибка всё равно возникаем. Счётчик ошибок показывает примерное место. Теперь на временной диаграмме можно найти причину ошибки. Скорее всего она связана с одновременной записью и чтением из памяти.

[dsmv]

6052328
Без ошибок выполняются тесты direct, randomize
В тест direct внесена ситуация одновременной записи и чтения