For co-developing the Structured Computer Aided Logic Design (SCALD) methodology and co-founding Valid Logic, Key Computer Laboratories, PathScale, and Bay Area Storage Technologies.