اتوماسیون طراحی الکترونیک (EDA) و سنتز منطقی