High Level Synthesis of Asynchronous Circuits from Data Flow Graphs. - Rene van Leuken 001; Tom Van Leeuwen 002; Huib Lincklaen Arriens (PATMOS, 2011)