Synthesis of the SR programming language for complex FPGAs. - Nick Gasson; Neil C. Audsley (FPL, 2009)