matlab: http://www.mathworks.com

SystemC: http://www.systemc.org

Mentor Graphics ModelSim: http://www.model.com

"System-Level &RTL Design: More and more projects are starting with a system-level design (SLD). Reasons for performing a SLD is to ensure software/hardware verification or to assess performance of the overall architecture or key algorithms. ModelSim's single-kernel architecture provides a unified kernel for Verilog, VHDL, and SystemC 2.1, for a true, mixed-language environment."

Xilinx ISE: http://www.xilinx.com/products/design_resources/design_tool/

xilinx : http://www.xilinx.com
altera: http://www.altera.com

Ulm University used in the past the Raptor2000: http://www.raptor2000.de

"For the prototypical implementation of microelectronic circuits, the Rapid-Prototyping System Raptor 2000 has been developed at the group of System and Circuit Technology, Heinz Nixdorf Institute. The System integrates all the important components to realise circuit and system designs with a complexity of up to 60 million transistors."

However, it is foreseen that for the AMASS project this platform will be updated and synchronized with the University Autonoma of Barcelona .