Toolset support for Infineon's new TC1130 TriCore-based, 32-bit MCU comes by way of Altium's Tasking TriCore VX-toolset. Included is the Embedded Development Environment (EDE), CrossView Pro debugger, assembler, and the Tasking C/C++/EC++ compiler. There's also a simulator debugger. The VX-toolset goes for $4290.
www.tasking.com