Reticle: A Virtual Machine for Programming Modern FPGAs [pdf]

homes.cs.washington.edu