Automated software verification provider, Wirral UK, has announced an integration between the LDRA tool suite with IAR Embedded Workbench for a range of microcontrollers.