Techniques for EDA