Это очень просто, если смотреть сверху.

Все состояния программы можно перенумеровать. Цикл "for (;;) { i = a; b = i+10;}" будет иметь два состояния, в первом мы читаем, во втором вычисляем и кладём.

Все переменные надо объявить регистрами.

И, в общем и целом, код выше будет напоминать что-то вроде вот этого:
module qq(input clk, input reset_n ( Read more... )

K: A Rewriting-Based Framework for ComputationsЧем интересна - описывается семантика программ через переписывание термов (term rewriting). И у меня есть воздушное такое ощущение, что можно показывать компиляцию программ из одного языка в другой следующим образом: compile_triple(S, TA, Q) -> TB iff execute_A(S, TA, Q) = execute_B( ( Read more... )

Exploiting Course grain Parallelism from FORTRAN by mapping it to IF1.

Лямбда-лифтинг в фортране. Только вместо связанных вовне переменных в параметры и занчения поднимаются глобальные переменные и COMMON блоки.