Software Verification Targets Tiny Micros

LDRA's Tool Suite brings verification to Microchip's PIC32

LDRA is known for its software verification and analysis tools, which are usually deployed on higher-end systems where many hands are developing large applications. Now designers with smaller projects and smaller platforms like Microchip’s microcontroller product line can take advantage of the LDRA Tool Suite, which is now integrated with Microchip’s MPLAB integrated development environment (IDE). LDRA supports the 8-bit PIC18, the 16-bit PIC24, and the 32-bit dsPIC32/33 flash-based microcontrollers. Developers can take advantage of graphical test planning and automatic test vector generation tools while utilizing their normal development environment. The LDRA tool suite allows developers to use very low-cost, low-power PIC processors in DO-178B qualified environments.

LDRA