Automatická syntéza VHDL opisov digitálnych systémov - Polák, Tomáš (STU v Bratislave FIIT, 2007)