Electronic design automaton (EDA)