For co-inventing the Structured Computer Aided Logic Design (SCALD) for cofounding Valid Logic, and founding Valid Logic Systems and 0-In Design Automation.