The freeware version of Modelsim can be downloaded from:
The free version of Quartus for synthesis is available at:
The documenation is written in Lyx which is available at:
The pictures in project documentation are drwan in Microsoft Visio which can be downloaded from: (license might be required, the development team from CTU is using university license)
Kaktus2 software for automatization of IP/SoC designs and generation of IP-XACTL standardised documents can be downloaded from:
The Python tool for processing the IP-XACTL documents and can be downloaded from: