High level synthesis of pipelined datapaths - Arato, Peter; Jankovits, Istvan; Visegrady, Tamas