С делением практически покончено

[spamsink]

Мне удалось избавиться от сравнения абсолютных величин мантисс в первом такте деления (путем дополнительного такта с пробным вычитанием) и от сравнения полноразрядной мантиссы с величиной -0.25; также мне удалось ликвидировать регистр inc2. Это делает алгоритм деления чуть ближе к аутентичному (close, but no cigar, still).

Тест АУ по-прежнему проходит, разумеется, но на тактовую частоту эти изменения повлияли негативно (в частности, раз стало меньше регистров, то увеличилась глубина логики на оставшихся). Несильно, конечно - всё равно больше 120 МГц, но вы мне скажите, имеет ли еще смысл возиться и коммитить, или оставим детям для развлечения?

Использованный в БЭСМ-6 алгоритм деления - двоичный SRT. Тест АУ не видит разницы между выбором 0 в качестве очередной цифры частного при значении остатка в диапазоне -0.25 < x < 0.25 (для строгого сравнения отрицательного числа нужны все разряды) и при -0.125 <= x < 0.25 (тут в обоих случаях достаточно сравнивать 3-4 старших бита мантиссы).

Upd: Проверка случайным тестом показывает, что есть разница между исходным и упрощенным сравнением, которая ухудшает сбалансированность округления, но, увы, тестом АУ не ловится. Так что оставляем как было до поры.

Comments

[spamsink]

Ну да. Реально у нас две копии сумматора, но это всё равно меньше, чем в оригинале.

[vak]

При синтезе mesm6_cpu.sv частота получается в районе 50-60 МГц. Можешь глянуть, где там затык?

[spamsink]

Мне для Spartan7 показывает 80, но тоже плоховато.

Путь показывает такой (из списка выбраны сигналы, на что-то похожие):

uop[31] - Uaddr[0] - m_ra[0] - M[3] - Uaddr_axb_3 - Uaddr[3] - m_ra[3] - M[8] - Uaddr_axb_8 - Uaddr_cry_11 - Uaddr[14]

Total path delay (propagation time + setup) of 12.503 is 7.761(62.1%) logic and 4.742(37.9%) route.

[vak]

Спасибо!
Кажется, я вижу циклическую зависимость в комбинационной логике.
В этом всё дело.

assign Uaddr = Mi + (r_add ? Mr : Vaddr);

assign Mr = M[m_ra];

wire [14:0] m_ra = ... (sel_mr == `SEL_MR_UA) ? Uaddr : ...;

Команда J+M нехорошо сделана. Надо подумать.

[x86128]

Любопытно, но квартус тоже ругался на наличие циклической зависимости, но я значения не придал. Ввиду неопытности подумал, что такие зависимости всё равно разрываются Д-треиггерами по клоку. И в этом нет ничего страшного, кроме удлинения пути сигнала.

[vak]

Переделал, и кое-что даже упростилось.
Попробуй сейчас глянуть критический путь.

[spamsink]

102 МГц, критический путь по uop[45] - Vaddr_next - stack_mode.

Total path delay (propagation time + setup) of 9.805 is 7.190(73.3%) logic and 2.615(26.7%) route.

Следующий путь в полтора раза короче.

В отличие от БЭСМ-6, где нужен был флаг C_ACTIVE из-за выбранной схемы входа/выхода из прерывания, мы можем просто манипулировать регистром C, обнуляя после каждой обычной команды, и прятать/восстанавливать его, когда надо.

[vak]

Ага, совсем другое дело. Посмотрю, может ещё можно ускорить.

Я сделал c_active из соображения, что сбрасывать один бит легче, чем все пятнадцать. Но может быть это копеечная экономия.