Ben Floering: Channel-less routing
Jake Garver:
Shuyu Lei:
Tianliang Li: Testing of core-based designs
Tarachand Pagarani: Design verification borrowing techniques from circuit testing
Meyyappan Ramanathan: High level synthesis for digital signal processing applications
Elie Yarack: Design-for-testability at a high level of design abstraction