System-level FPGA device driver with high-level synthesis support. - Kizheppatt Vipin; Shanker Shreejith; Dulitha Gunasekera; Suhaib A. Fahmy; Nachiket Kapre (FPT, 2013)