We are using the Xilinx Vivado toolchain with a 25 nodes floating licence. This University System Edition license gives you access to all of the Xilinx software of this toolchain including IP exploration and high-level synthesis.

In a near future, we'll experiment the GoWin GW1NSR-LV4C which embedds an ARM Cortex-M3 + FPGA like what's done in Xilinx Zynq.
Additionally, i'd like to thanks GoWin semi conductors (thanks Danny) that provided us sevreal Ministar development kits along with 30 seats floating licence :)
More to come, stay tuned

Below you'll find some links either related to the VHDL courses, practical exercises and some external links:

• VHDL main course PDF,
• VHDL synthesis practical exercices PDF,
  

• Master1 VHDL base files and Master2 VHDL base files to download,
• VHDL exam,

• Cristian Sisterna's Zynq Architecture PDF
• Xilinx Zynq Architecture slides PDF
• [board] Digilent Zybo-Z7 reference manual PDF
• [board] Digilent Zybo-Z7 schematic PDF

• [book] The Zynq eBook PDF
• Atlassian Xilinx wiki,
• Eric Peronnin's introduction to Zynq platform,
• Eric Peronnin's VHDL project creation on a Zynq platform,

• INRIA Olivier Sentieys FIR filter synthesis,
• Opencores repository.