Home > News

Enabling automated repair in hardware designs

The new framework lets developers cut down on time spent designing bug fixes for hardware specifications, adapting techniques now used widely in software development.

Tools for “more humane coding”

Helping novice programmers succeed in coding

Making complex software more reliable

More Videos >