Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers.

Anoop Bhagyanath, Klaus Schneider

Browse the full MEMOCODE paper archive.