New Software and Platforms - ID.Fix: Infrastructure for the Design of Fixed-point Systems