Hardware description languages and compilation High-level and register-transfer level synthesis Logic synthesis Methodologies for EDA Modeling and parameter extraction Physical design (EDA) Timing analysis