B-jo: IAR Embedded Workbench
Ma non è a pagamento? Ho una Discovery F4, uso CooCox IDE (per ora solo piccole prove)