Software Verification Targets Tiny Micros

Feb. 15, 2010

LDRA's LDRA Tool Suite is now integrated with Microchip’s MPLAB IDE bringing software verification to 8-, 16- and 32-bit microcontroller developers.

William G. Wong

1 of Enlarge image

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

About the Author

William G. Wong | Senior Content Director - Electronic Design and Microwaves & RF

I am Editor of Electronic Design focusing on embedded, software, and systems. As Senior Content Director, I also manage Microwaves & RF and I work with a great team of editors to provide engineers, programmers, developers and technical managers with interesting and useful articles and videos on a regular basis. Check out our free newsletters to see the latest content.

You can send press releases for new products for possible coverage on the website. I am also interested in receiving contributed articles for publishing on our website. Use our template and send to me along with a signed release form.

Check out my blog, AltEmbedded on Electronic Design, as well as his latest articles on this site that are listed below.

You can visit my social media via these links:

I earned a Bachelor of Electrical Engineering at the Georgia Institute of Technology and a Masters in Computer Science from Rutgers University. I still do a bit of programming using everything from C and C++ to Rust and Ada/SPARK. I do a bit of PHP programming for Drupal websites. I have posted a few Drupal modules.

I still get a hand on software and electronic hardware. Some of this can be found on our Kit Close-Up video series. You can also see me on many of our TechXchange Talk videos. I am interested in a range of projects from robotics to artificial intelligence.