Bluespec’s Accelerate-HLS Supports Siemens’ Catapult